]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5fc2b08) | patch
porting move_char_l.ma
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 May 2012 13:47:38 +0000 (13:47 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 May 2012 13:47:38 +0000 (13:47 +0000)
commit9a7e0697f0b305e4ba26b67c37681c434709509a
treeebe055f59ddb7c1cd55868e918c62dd3bd54282ctree | snapshot
parent5fc2b08d86038360e588b8fff333a623964efabecommit | diff
porting move_char_l.ma
matita/matita/lib/turing/universal/move_char_l.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.