#
# ChangeLog for sizechecking_branches/SVB.hs
#
# Generated by Trac 1.0.1
# Jun 18, 2025, 11:59:44 PM

Fri, 16 Nov 2012 16:26:26 GMT gobi [15]
	* sizechecking/Constraints.hs (modified)
	* sizechecking/Lambda.hs (modified)
	* sizechecking_branches/L.hs (modified)
	* sizechecking_branches/LL.hs (modified)
	* sizechecking_branches/SE.hs (added)
	* sizechecking_branches/SVB.hs (added)

	new solver