]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ac5fca) | patch
move_char.ma
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Jun 2012 11:56:12 +0000 (11:56 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 8 Jun 2012 11:56:12 +0000 (11:56 +0000)
commit3fe92cae7c0d955c01ab5c117dc6a728c4500845
treefee4dadef3f13e24e03eed50ac5ba544c6de3357tree | snapshot
parent7ac5fca2e08ea671a75c9adf4ef070dbd0ea2c37commit | diff
move_char.ma
-This line, and those below, will be ignored--

A    turing/move_char.ma
matita/matita/lib/turing/move_char.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.