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