]> matita.cs.unibo.it Git - helm.git/commit
some renaming ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 24 Aug 2012 14:45:02 +0000 (14:45 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 24 Aug 2012 14:45:02 +0000 (14:45 +0000)
commit9f7f534a11f08bb66815eddf957959eb0eaeb71f
tree5bcb4cb334c4f960b88df5c705f1b96ea5b7aadc
parent35e633b9f0e0ae36641e0f6d29aaed7ceb4e3c75
some renaming ...
matita/matita/contribs/BTM/arith.ma [new file with mode: 0644]
matita/matita/contribs/BTM/character/class.ma [new file with mode: 0644]
matita/matita/contribs/BTM/character/class_pt.ma [new file with mode: 0644]
matita/matita/contribs/BTM/character/triple.ma [new file with mode: 0644]
matita/matita/contribs/BTM/root [new file with mode: 0644]
matita/matita/contribs/character/classes/class.ma [deleted file]
matita/matita/contribs/character/classes/class_pt.ma [deleted file]
matita/matita/contribs/character/classes/triple.ma [deleted file]
matita/matita/contribs/character/preamble.ma [deleted file]
matita/matita/contribs/character/root [deleted file]