]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e37238b) | patch
Restructuring
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 6 Jun 2012 06:18:43 +0000 (06:18 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 6 Jun 2012 06:18:43 +0000 (06:18 +0000)
commitb0d97cd7e2c50fb1fc2d50c86f3140e226b08a81
tree3e2c91f3ef7401ae7b4c83e27ffb98c73ab75290tree | snapshot
parente37238b40356ee1b5e7859cf0eb6567918f2ebeccommit | diff
Restructuring
matita/matita/lib/basics/lists/listb.ma diff | blob | history
matita/matita/lib/turing/if_machine.ma diff | blob | history
matita/matita/lib/turing/mono.ma diff | blob | history
matita/matita/lib/turing/universal/copy.ma diff | blob | history
matita/matita/lib/turing/universal/marks.ma diff | blob | history
matita/matita/lib/turing/universal/move_char_l.ma diff | blob | history
matita/matita/lib/turing/universal/move_tape.ma diff | blob | history
matita/matita/lib/turing/universal/tuples.ma diff | blob | history
matita/matita/lib/turing/universal/universal.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.