| Wed, 13 Jul 2011 22:16:19 +0200 | blanchet | avoid relying on piping to "isabelle tty", because this gives errors on some Linuxes about the standard input not being a tty | changeset | files |
| Wed, 13 Jul 2011 22:16:19 +0200 | blanchet | added arithmetic decision procedure to CASC setup | changeset | files |
| Wed, 13 Jul 2011 22:16:19 +0200 | blanchet | added some arithmetic functions, for THF with arithmetic | changeset | files |
| Wed, 13 Jul 2011 22:16:19 +0200 | blanchet | pull in arithmetic theories | changeset | files |
| Wed, 13 Jul 2011 22:16:19 +0200 | blanchet | cleanly separate TPTP related files from other examples | changeset | files |
| Wed, 13 Jul 2011 21:59:54 +0200 | bulwahn | increasing timeout to avoid spurious failures | changeset | files |
| Wed, 13 Jul 2011 18:36:11 +0200 | haftmann | merged | changeset | files |
| Wed, 13 Jul 2011 07:26:31 +0200 | haftmann | more generalization towards complete lattices | changeset | files |