]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d17dfec) | patch
new version of move_char_l suign swap
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 6 Jun 2012 09:39:07 +0000 (09:39 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 6 Jun 2012 09:39:07 +0000 (09:39 +0000)
commitaa45ebcc7a3bb09ae75a69620732b2544ac3ea4a
tree4e5f0c286fb8b879ae315eb03ebbccd1abd1421etree | snapshot
parentd17dfeccb51f1dd6f94645018c15078ef4d329a4commit | diff
new version of move_char_l suign swap
matita/matita/lib/turing/universal/move_char_l.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.