| Fri, 09 Nov 2001 00:14:17 +0100 | wenzelm | got rid of obsolete input filtering; | changeset | files |
| Fri, 09 Nov 2001 00:11:52 +0100 | wenzelm | back to normal; | changeset | files |
| Fri, 09 Nov 2001 00:09:47 +0100 | wenzelm | eliminated old "symbols" syntax, use "xsymbols" instead; | changeset | files |
| Fri, 09 Nov 2001 00:06:15 +0100 | wenzelm | updated; | changeset | files |
| Fri, 09 Nov 2001 00:05:49 +0100 | wenzelm | got rid of obsolete input filtering and isabelle font encoding; | changeset | files |
| Fri, 09 Nov 2001 00:01:55 +0100 | wenzelm | got rid of obsolete input filtering; | changeset | files |
| Fri, 09 Nov 2001 00:00:53 +0100 | wenzelm | eliminated old "symbols" syntax, use "xsymbols" instead; | changeset | files |
| Thu, 08 Nov 2001 23:59:37 +0100 | wenzelm | theory data: finish method; | changeset | files |
| Thu, 08 Nov 2001 23:57:22 +0100 | wenzelm | removed needs_filtered_use; | changeset | files |
| Thu, 08 Nov 2001 23:55:04 +0100 | wenzelm | \newcommand{\isasymindex}{\isamath{\i}}; | changeset | files |
| Thu, 08 Nov 2001 23:52:56 +0100 | wenzelm | * Isar/Pure: emulation of instantiation tactics (rule_tac, cut_tac, | changeset | files |
| Thu, 08 Nov 2001 23:50:08 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 08 Nov 2001 17:54:58 +0100 | wenzelm | \bibliographystyle{abbrv}; | changeset | files |
| Thu, 08 Nov 2001 17:44:55 +0100 | wenzelm | updated; | changeset | files |
| Thu, 08 Nov 2001 17:44:27 +0100 | wenzelm | make SML/XL of NJ happy; | changeset | files |
| Thu, 08 Nov 2001 17:42:43 +0100 | wenzelm | ex/document/root.bib; | changeset | files |
| Thu, 08 Nov 2001 00:26:41 +0100 | wenzelm | proper syntax for structs; | changeset | files |
| Thu, 08 Nov 2001 00:26:06 +0100 | wenzelm | more explanations on advanced syntax; | changeset | files |
| Thu, 08 Nov 2001 00:25:36 +0100 | wenzelm | use num_const of Pure; | changeset | files |
| Thu, 08 Nov 2001 00:25:09 +0100 | wenzelm | \newcommand{\isasymstruct}{\isamath{\diamond}}; | changeset | files |
| Wed, 07 Nov 2001 18:53:11 +0100 | wenzelm | locale_prefix: Sign.base_name; | changeset | files |
| Wed, 07 Nov 2001 18:18:46 +0100 | wenzelm | syntax for structs; | changeset | files |
| 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 |