#
# ChangeLog for examples/python_tests/partial_proof_rt1
#
# Generated by Trac 1.2
# Jul 6, 2024 1:49:59 AM

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

	1) example for partial proof