| Thu, 27 Oct 2005 13:54:38 +0200 | wenzelm | alternative iff syntax for equality on booleans, with print_mode 'iff'; | changeset | files |
| Thu, 27 Oct 2005 08:14:05 +0200 | haftmann | added module Pure/General/rat.ML | changeset | files |
| Wed, 26 Oct 2005 16:31:53 +0200 | paulson | tidied away duplicate thm | changeset | files |
| Tue, 25 Oct 2005 18:38:21 +0200 | wenzelm | EVERY; | changeset | files |
| Tue, 25 Oct 2005 18:18:59 +0200 | wenzelm | traceIt: plain term; | changeset | files |
| Tue, 25 Oct 2005 18:18:58 +0200 | wenzelm | val legacy = ref false; | changeset | files |
| Tue, 25 Oct 2005 18:18:57 +0200 | wenzelm | prove_raw: cterms, explicit asms; | changeset | files |
| Tue, 25 Oct 2005 18:18:49 +0200 | wenzelm | avoid legacy goals; | changeset | files |