#
# ChangeLog for sizechecking
#
# Generated by Trac 1.0.1
# Dec 14, 2025, 5:23:48 AM

Tue, 31 Jul 2012 06:49:22 GMT gobi [5]
	* sizechecking (added)
	* sizechecking/Constraints.hs (added)
	* sizechecking/Examples.hs (added)
	* sizechecking/Lambda.hs (added)
	* sizechecking/NC.hs (added)
	* sizechecking/README.html (added)
	* sizechecking/README.txt (added)
	* sizechecking/SizedExp.hs (added)

	size checking