#
# ChangeLog for Papers/polymorphic-variants-2012/prooftree.sty
#
# Generated by Trac 1.2
# Apr 21, 2021, 12:15:06 PM

Wed, 31 Oct 2012 11:59:12 GMT mulligan [2424]
	* Papers/polymorphic-variants-2012/polymorphic-variants.tex (modified)
	* Papers/polymorphic-variants-2012/prooftree.sty (added)

	Changes to the file including making a start on incorporating ...