#
# ChangeLog for Papers/polymorphic-variants-2012/test2.ma
#
# Generated by Trac 1.2
# Apr 21, 2021, 2:21:43 PM

Sun, 02 Dec 2012 15:40:41 GMT sacerdot [2514]
	* Papers/polymorphic-variants-2012/ASM.ma (added)
	* Papers/polymorphic-variants-2012/infrastructure.ma (added)
	* Papers/polymorphic-variants-2012/test.ma (modified)
	* Papers/polymorphic-variants-2012/test2.ma (added)
	* Papers/polymorphic-variants-2012/test3.ma (modified)
	* Papers/polymorphic-variants-2012/testb.ma (added)
	* Papers/polymorphic-variants-2012/variants.ma (added)

	All .ma files committed: some of them are just in-progress.