]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd882e6) | patch
semantics of the if-machine.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 4 Jun 2012 14:16:05 +0000 (14:16 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 4 Jun 2012 14:16:05 +0000 (14:16 +0000)
commit5b28867e30a9cada823ad86ae91d39b94648940a
tree4a7ba3b1368da47a251bf67a26619deaff69d426tree | snapshot
parentdd882e640319d8117644986cc0e824d1d3156c5ecommit | diff
semantics of the if-machine.
Moved some lemmas to their proper places.
matita/matita/lib/basics/relations.ma diff | blob | history
matita/matita/lib/basics/star.ma diff | blob | history
matita/matita/lib/turing/if_machine.ma diff | blob | history
matita/matita/lib/turing/mono.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.