#
# ChangeLog for examples/python_tests/partial_proof_rt1/dump_db.py
#
# Generated by Trac 1.2
# Jul 6, 2024 3:12:52 AM

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

	1) example for partial proof