| Fri, 29 Aug 2003 18:39:47 +0200 | skalberg | Added show_all_types flag, such that all type information in the term | changeset | files |
| Fri, 29 Aug 2003 15:40:11 +0200 | ballarin | Method rule_tac understands Isar contexts: documentation. | changeset | files |
| Fri, 29 Aug 2003 15:19:02 +0200 | ballarin | Methods rule_tac etc support static (Isar) contexts. | changeset | files |
| Fri, 29 Aug 2003 13:18:45 +0200 | skalberg | Removed the extended digits again. | changeset | files |
| Thu, 28 Aug 2003 02:00:16 +0200 | skalberg | Fixed typos. | changeset | files |
| Thu, 28 Aug 2003 01:56:40 +0200 | skalberg | Extended the notion of letter and digit, such that now one may use greek, | changeset | files |
| Wed, 27 Aug 2003 18:22:34 +0200 | skalberg | Added skalberg to recepients, changed admin from kleing to berghofe. | changeset | files |
| Wed, 27 Aug 2003 18:13:59 +0200 | skalberg | Converted to new style theories. | changeset | files |