git://colo12-c703.uibk.ac.at / Model of HOL/.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Update from HH
authorCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Thu, 22 Aug 2013 10:52:52 +0000 (12:52 +0200)
committerCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Thu, 22 Aug 2013 10:52:52 +0000 (12:52 +0200)
commit31c5bab5207ae93790888117d06dd922e8b48f30
treef6744cb21befe05aef486eb5ce69be6272aa033ctree | snapshot
Update from HH
Model/modelset.ml [new file with mode: 0644] blob
Model/semantics.ml [new file with mode: 0644] blob
Model/syntax.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.