]> matita.cs.unibo.it Git - helm.git/commit
some more work...
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 16 Sep 2009 16:27:04 +0000 (16:27 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 16 Sep 2009 16:27:04 +0000 (16:27 +0000)
commit021fd04f3bf776eeb4b8da45b3c7103ebabd789d
tree15b1319e46ab4349e910fb53e7e23bad6221b854
parenta9d1332496548ff921db655f4b9430a0b2b6e92d
some more work...
helm/software/matita/nlibrary/sets/sets.ma