#
# ChangeLog for examples/python_tests/partial_proof_rt1/attr.py
#
# Generated by Trac 1.2
# Aug 23, 2024 1:14:12 PM

Sat, 20 Oct 2012 18:30:19 GMT Mei <mei@…> [da73657]

	1) example for partial proof