swh:1:snp:40d564fb7215d1ae63ff53a829dfe99cce6af0dc
Tip revision: e7082fbde3634286f458d64846699ae488fe18f3 authored by Michael Kohlhase on 22 December 2016, 09:28:55 UTC
initial commit, thanks to David Plaisted
initial commit, thanks to David Plaisted
Tip revision: e7082fb
File | Mode | Size |
---|---|---|
ALS | ||
Cprolog | -rw-r--r-- | 1.1 KB |
Eclipse | -rw-r--r-- | 6.1 KB |
Eclipse.old | -rw-r--r-- | 5.7 KB |
Eclipse.old1 | -rw-r--r-- | 5.5 KB |
Quintus | -rw-r--r-- | 928 bytes |
Quintus_1.old | -rw-r--r-- | 802 bytes |
Quintus_2.old | -rw-r--r-- | 291 bytes |
README.md | -rw-r--r-- | 66 bytes |
auxiliary | -rw-r--r-- | 18.1 KB |
bug.report | -rw-r--r-- | 3.5 KB |
clausify | -rw-r--r-- | 1.2 KB |
command | -rw-r--r-- | 8.5 KB |
compile.eclipse | -rw-r--r-- | 144 bytes |
compile.in | -rw-r--r-- | 56 bytes |
compile.quintus | -rw-r--r-- | 163 bytes |
define | -rw-r--r-- | 4.4 KB |
exprules | -rw-r--r-- | 1.7 KB |
files_changed | -rw-r--r-- | 914 bytes |
fls | -rw-r--r-- | 5.4 KB |
hyper | -rw-r--r-- | 47.1 KB |
hyper.old | -rw-r--r-- | 46.3 KB |
instdel | -rw-r--r-- | 4.1 KB |
interp | -rw-r--r-- | 12.2 KB |
library | -rw-r--r-- | 11.2 KB |
main | -rw-r--r-- | 12.7 KB |
main.old | -rw-r--r-- | 12.6 KB |
pc | -rw-r--r-- | 16.1 KB |
prover | -rw-r--r-- | 1.9 KB |
prover.als | -rw-r--r-- | 1.9 KB |
prover.cprolog | -rw-r--r-- | 1.8 KB |
prover.old | -rw-r--r-- | 1.8 KB |
replace | -rw-r--r-- | 22.1 KB |
replace.old | -rw-r--r-- | 21.9 KB |
simplify | -rw-r--r-- | 13.7 KB |
skolem | -rw-r--r-- | 10.7 KB |
spc | -rw-r--r-- | 12.4 KB |
to_do | -rw-r--r-- | 99 bytes |
try | -rw-r--r-- | 13.0 KB |
try.old | -rw-r--r-- | 12.8 KB |
xvisor | -rw-r--r-- | 8.7 KB |