| Mon, 12 Nov 2007 11:07:51 +0100 | schirmer | fixed typo; | changeset | files |
| Mon, 12 Nov 2007 11:07:22 +0100 | schirmer | added signatures; | changeset | files |
| Sun, 11 Nov 2007 20:29:07 +0100 | wenzelm | abbrev: bypass full term check via ProofContext.standard_infer_types (prevents forced expansion); | changeset | files |
| Sun, 11 Nov 2007 20:29:06 +0100 | wenzelm | simplified Consts.dest; | changeset | files |
| Sun, 11 Nov 2007 20:29:05 +0100 | wenzelm | simplified Consts.dest; | changeset | files |
| 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 |