]> matita.cs.unibo.it Git - helm.git/commit
Up to max (up to a bug).
authorEnrico Zoli <??>
Fri, 3 Nov 2006 11:15:03 +0000 (11:15 +0000)
committerEnrico Zoli <??>
Fri, 3 Nov 2006 11:15:03 +0000 (11:15 +0000)
commitb473a681dfab815f882bc646efc2b218f1957db8
tree4eb0b013c9a854fe4571f187a392916d64c686e1
parent348acb421355c345a9af0754c1c16508a43eeea5
Up to max (up to a bug).
matita/dama/constructive_connectives.ma
matita/dama/groups.ma
matita/dama/ordered_fields_ch0.ma
matita/dama/reals.ma