-rw-r--r-- | 24016 | arithprov.ml | blob | raw |
-rw-r--r-- | 28449 | definability.ml | blob | raw |
-rw-r--r-- | 40300 | derived.ml | blob | raw |
-rw-r--r-- | 22239 | fol.ml | blob | raw |
-rw-r--r-- | 24276 | godel.ml | blob | raw |
-rw-r--r-- | 1270 | make.ml | blob | raw |
-rw-r--r-- | 3892 | pa.ml | blob | raw |
-rw-r--r-- | 32484 | sigmacomplete.ml | blob | raw |
-rw-r--r-- | 14703 | tarski.ml | blob | raw |