]> matita.cs.unibo.it Git - helm.git/commit
restructuring
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 6 Jun 2012 06:19:48 +0000 (06:19 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 6 Jun 2012 06:19:48 +0000 (06:19 +0000)
commit48ea5e91651eef80927defbdd91af0e9e3892999
tree1fbbded50b1b334e3622cefc729dfcdb4203aac5
parentb0d97cd7e2c50fb1fc2d50c86f3140e226b08a81
restructuring
matita/matita/lib/turing/basic_machines.ma [new file with mode: 0644]
matita/matita/lib/turing/universal/tests.ma [deleted file]