Wed, 13 Jul 2011 22:16:19 +0200 | blanchet | better temp name creation for Nitrox -- still very hackish though, but should get us through CASC-23 and CASC-J6 | changeset | files |
Wed, 13 Jul 2011 22:16:19 +0200 | blanchet | more exhaustive testing in Nitrox | changeset | files |
Wed, 13 Jul 2011 22:16:19 +0200 | blanchet | no timeout for Nitrox | changeset | files |
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 |