| 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 |