#
# ChangeLog for vis_dev/vis-2.3/models/debug/and2.ltl
#
# Generated by Trac 1.2.3
# Sep 17, 2024, 4:55:34 AM

Sun, 08 Jan 2012 14:38:46 GMT cecile [39]
	* vis_dev/vis-2.3/models/debug/and2.ltl (added)

	debug example ltl formula