]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 448b626) | patch
Renamed SK.ma into bool.ma
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 20 Mar 2006 16:32:32 +0000 (16:32 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 20 Mar 2006 16:32:32 +0000 (16:32 +0000)
commit68f83007f739910e86e41aaa804b59d61a6860d0
treee4cfa000225e547d8aa6ba61996ba0184f95c98ctree | snapshot
parent448b626168818db2420b1f01e4d9e9aa76516a25commit | diff
Renamed SK.ma into bool.ma
matita/tests/SK.ma [deleted file] blob | history
matita/tests/bool.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.