| Wed, 07 Nov 2001 18:18:29 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 07 Nov 2001 18:18:19 +0100 | wenzelm | syntax for structures; | changeset | files |
| Wed, 07 Nov 2001 18:17:45 +0100 | wenzelm | tuned impose_hyps; | changeset | files |
| Wed, 07 Nov 2001 18:17:16 +0100 | wenzelm | added structures; | changeset | files |
| Wed, 07 Nov 2001 18:16:54 +0100 | wenzelm | \isasymstruct; | changeset | files |
| Wed, 07 Nov 2001 18:12:12 +0100 | paulson | Sidi Ehmety's port of the fold_set operator and multisets to ZF. | changeset | files |
| Wed, 07 Nov 2001 12:29:07 +0100 | paulson | reorganization of the ZF examples | changeset | files |
| Wed, 07 Nov 2001 00:16:19 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 06 Nov 2001 23:56:14 +0100 | wenzelm | cert_def: proper check of args, improved msgs; | changeset | files |
| Tue, 06 Nov 2001 23:55:19 +0100 | wenzelm | pretty_goals_local: observes context syntax; | changeset | files |
| Tue, 06 Nov 2001 23:54:09 +0100 | wenzelm | defines: Thm.def_name, proper check of args; | changeset | files |
| Tue, 06 Nov 2001 23:53:28 +0100 | wenzelm | separate "in" locale vs. ad-hoc context; | changeset | files |
| Tue, 06 Nov 2001 23:52:45 +0100 | wenzelm | goals_limit moved to display.ML; | changeset | files |
| Tue, 06 Nov 2001 23:52:23 +0100 | wenzelm | added goals_limit (from tctical.ML); | changeset | files |