]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f86d822) | patch
Added in basics
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 4 Apr 2012 07:28:38 +0000 (07:28 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 4 Apr 2012 07:28:38 +0000 (07:28 +0000)
commit65a3b93b01f2d00960c56df3563b879f36f3cbfd
tree1f4de4dce018e9ac64195dfad7ffc1c339b2c284tree | snapshot
parentf86d822d5d47b5b5b2f8940c5b90c1fcdc547420commit | diff
Added in basics
- vectors.ma
- finset.ma

Added turing

minor ntegrations in list,ma and listb.ma
matita/matita/lib/basics/finset.ma [new file with mode: 0644] blob
matita/matita/lib/basics/lists/list.ma diff | blob | history
matita/matita/lib/basics/lists/listb.ma diff | blob | history
matita/matita/lib/basics/vectors.ma [new file with mode: 0644] blob
matita/matita/lib/re/moves.ma diff | blob | history
matita/matita/lib/re/re.ma diff | blob | history
matita/matita/lib/turing/ntm.ma [new file with mode: 0644] blob
matita/matita/lib/turing/oracle.ma [new file with mode: 0644] blob
matita/matita/lib/turing/turing.ma [new file with mode: 0644] blob
matita/matita/lib/turing/turing_old.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.