]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c50d9b) | patch
Slowly porting to an enriched tape alphabet
authorAndrea Asperti <andrea.asperti@unibo.it>
Sat, 19 Oct 2013 10:25:00 +0000 (10:25 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Sat, 19 Oct 2013 10:25:00 +0000 (10:25 +0000)
commit31790e8f6fa051f710f41e4c17d67701874ba331
treeab03564b261b72158654b0f1709c4b6732996b34tree | snapshot
parent1c50d9bf16156231da7d4366775feeb800664515commit | diff
Slowly porting to an enriched tape alphabet
matita/matita/lib/turing/multi_to_mono/shift_trace.ma diff | blob | history
matita/matita/lib/turing/multi_to_mono/shift_trace_aux.ma diff | blob | history
matita/matita/lib/turing/multi_to_mono/trace_alphabet.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.