| Sun, 11 Nov 2007 20:29:04 +0100 | wenzelm | simplified Consts.dest; | changeset | files |
| Sun, 11 Nov 2007 19:41:26 +0100 | nipkow | updates | changeset | files |
| Sun, 11 Nov 2007 17:18:38 +0100 | wenzelm | avoid ML print in production code; | changeset | files |
| Sun, 11 Nov 2007 16:58:41 +0100 | wenzelm | updated; | changeset | files |
| Sun, 11 Nov 2007 16:50:30 +0100 | wenzelm | auto quickcheck: reduced messages; | changeset | files |
| Sun, 11 Nov 2007 16:50:29 +0100 | wenzelm | notation works with any known constant (including fixes/abbrevs); | changeset | files |
| Sun, 11 Nov 2007 16:50:27 +0100 | wenzelm | HOL-Statespace; | changeset | files |
| Sun, 11 Nov 2007 16:45:47 +0100 | wenzelm | * HOL-Statespace; | changeset | files |