]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f5da96) | patch
A complete snapshot for re
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 10 Jan 2012 08:31:46 +0000 (08:31 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 10 Jan 2012 08:31:46 +0000 (08:31 +0000)
commit0d481cc22ba8ada5781885da5398086a0b5662f3
tree6e942004377663f5bb674dead4313d059d3f9748tree | snapshot
parent0f5da967971b81ad7adc9fb1fedb9b2f24ca3ccfcommit | diff
A complete snapshot for re
17 files changed:
matita/matita/lib/re/moves.ma diff | blob | history
matita/matita/re_complete/basics/bool.ma [new file with mode: 0644] blob
matita/matita/re_complete/basics/core_notation.ma [new file with mode: 0644] blob
matita/matita/re_complete/basics/deqsets.ma [new file with mode: 0644] blob
matita/matita/re_complete/basics/hints_declaration.ma [new file with mode: 0644] blob
matita/matita/re_complete/basics/list.ma [new file with mode: 0644] blob
matita/matita/re_complete/basics/listb.ma [new file with mode: 0644] blob
matita/matita/re_complete/basics/logic.ma [new file with mode: 0644] blob
matita/matita/re_complete/basics/nat.ma [new file with mode: 0644] blob
matita/matita/re_complete/basics/pts.ma [new file with mode: 0644] blob
matita/matita/re_complete/basics/relations.ma [new file with mode: 0644] blob
matita/matita/re_complete/basics/sets.ma [new file with mode: 0644] blob
matita/matita/re_complete/basics/types.ma [new file with mode: 0644] blob
matita/matita/re_complete/lang.ma [new file with mode: 0644] blob
matita/matita/re_complete/moves.ma [new file with mode: 0644] blob
matita/matita/re_complete/re.ma [new file with mode: 0644] blob
matita/matita/re_complete/root [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.