#
# ChangeLog for examples/example_scripts/c/abac_attr_partial.c
#
# Generated by Trac 1.2
# Jul 7, 2024 11:16:14 AM

Sat, 20 Oct 2012 18:25:15 GMT Mei <mei@…> [646e57e]

	1) add partial proof