#
# ChangeLog for Papers/polymorphic-variants-2012/test3.ma
#
# Generated by Trac 1.2
# Dec 8, 2019, 6:25:56 AM

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.


Sat, 20 Oct 2012 18:08:24 GMT sacerdot [2411]
	* Papers/polymorphic-variants-2012/test3.ma (added)

	Extensible records implemented via option type.
	One axiom left.