| Sat, 28 Jun 2008 21:21:13 +0200 | wenzelm | @{lemma}: 'by' keyword; | changeset | files |
| Sat, 28 Jun 2008 15:30:46 +0200 | wenzelm | ML: improved antiquotations; | changeset | files |
| Sat, 28 Jun 2008 15:17:28 +0200 | wenzelm | added macro interface; | changeset | files |
| Sat, 28 Jun 2008 15:17:26 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 28 Jun 2008 15:17:24 +0200 | wenzelm | added thm_name, opt_thm_name; | changeset | files |
| Fri, 27 Jun 2008 09:55:02 +0200 | haftmann | adjusted import | changeset | files |
| Fri, 27 Jun 2008 09:34:08 +0200 | haftmann | adjusted import | changeset | files |
| Fri, 27 Jun 2008 00:37:30 +0200 | urbanc | added a lemma to at_swap_simps | changeset | files |
| Thu, 26 Jun 2008 17:54:05 +0200 | huffman | remove cset theory; define ideal completions using typedef instead of cpodef | changeset | files |
| Thu, 26 Jun 2008 15:06:30 +0200 | wenzelm | Args.theory; | changeset | files |
| Thu, 26 Jun 2008 15:06:28 +0200 | wenzelm | added context/theory scanner; | changeset | files |
| Thu, 26 Jun 2008 15:06:25 +0200 | wenzelm | Args.context; | changeset | files |
| Thu, 26 Jun 2008 11:58:27 +0200 | krauss | fix: need to beta/eta normalize | changeset | files |
| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | changeset | files |
| Thu, 26 Jun 2008 10:06:54 +0200 | haftmann | added dummy citiation | changeset | files |
| Thu, 26 Jun 2008 10:06:53 +0200 | haftmann | dropped recdef | changeset | files |
| Thu, 26 Jun 2008 10:06:51 +0200 | haftmann | class theory name lookup improved | changeset | files |
| Wed, 25 Jun 2008 22:11:17 +0200 | wenzelm | modernized specifications; | changeset | files |
| Wed, 25 Jun 2008 22:01:35 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 25 Jun 2008 22:01:34 +0200 | wenzelm | modernized specifications; | changeset | files |
| Wed, 25 Jun 2008 21:25:51 +0200 | wenzelm | modernized specifications; | changeset | files |
| Wed, 25 Jun 2008 18:23:50 +0200 | urbanc | typo | changeset | files |
| Wed, 25 Jun 2008 17:38:39 +0200 | wenzelm | re-use official outer keywords; | changeset | files |
| Wed, 25 Jun 2008 17:38:38 +0200 | wenzelm | scan: prefer command over keyword, allowing lexicons to overlap; | changeset | files |
| Wed, 25 Jun 2008 17:38:37 +0200 | wenzelm | moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces; | changeset | files |
| Wed, 25 Jun 2008 17:38:36 +0200 | wenzelm | moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces; | changeset | files |
| Wed, 25 Jun 2008 17:38:35 +0200 | wenzelm | antiquote: need to quote outer keywords; | changeset | files |
| Wed, 25 Jun 2008 17:38:34 +0200 | wenzelm | tuned; | changeset | files |