]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2606157) | patch
removing unnecessary file
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 6 Sep 2006 14:46:15 +0000 (14:46 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 6 Sep 2006 14:46:15 +0000 (14:46 +0000)
commite21d67b7a00f768b085ecaa11d9a080f8ceb70d9
tree7416fd201dd527542f83b3da7f2a2fa274f211d9tree | snapshot
parent260615773f01b051db400034a8df7c578fe53718commit | diff
removing unnecessary file
matita/contribs/LAMBDA-TYPES/Level-1/Base/sequent_viewer.xml [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.