git://colo12-c703.uibk.ac.at / Gödel's incompleteness theorem/.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Update from HH
authorCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Thu, 29 Aug 2013 13:24:16 +0000 (15:24 +0200)
committerCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Thu, 29 Aug 2013 13:24:16 +0000 (15:24 +0200)
commit67928fe38836205ca8d0705b3695186e998e3e29
treedc79021c7048ddd636735df890fafa8cb8b878c1tree | snapshot
Update from HH
HH/Arithmetic/arithprov.ml [new file with mode: 0644] blob
HH/Arithmetic/definability.ml [new file with mode: 0644] blob
HH/Arithmetic/derived.ml [new file with mode: 0644] blob
HH/Arithmetic/fol.ml [new file with mode: 0644] blob
HH/Arithmetic/godel.ml [new file with mode: 0644] blob
HH/Arithmetic/pa.ml [new file with mode: 0644] blob
HH/Arithmetic/tarski.ml [new file with mode: 0644] blob
HH/Library/prime.ml [new file with mode: 0644] blob
HH/Library/rstc.ml [new file with mode: 0644] blob
HH/make.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.