| Thu, 19 Jan 2006 21:22:08 +0100 | wenzelm | setup: theory -> theory; | file | diff | annotate |
| Tue, 20 Sep 2005 08:21:49 +0200 | haftmann | slight adaptions to library changes | file | diff | annotate |
| Thu, 15 Sep 2005 17:16:56 +0200 | wenzelm | TableFun/Symtab: curried lookup and update; | file | diff | annotate |
| Wed, 14 Sep 2005 23:04:59 +0200 | schirmer | added prem10 - prem19 | file | diff | annotate |
| Thu, 01 Sep 2005 18:48:50 +0200 | wenzelm | curried_lookup/update; | file | diff | annotate |
| Wed, 22 Jun 2005 19:41:29 +0200 | wenzelm | renamed data kind; | file | diff | annotate |
| Fri, 17 Jun 2005 18:33:05 +0200 | wenzelm | accomodate change of TheoryDataFun; | file | diff | annotate |
| Wed, 01 Jun 2005 10:52:17 +0200 | haftmann | renamed premise* to prem | file | diff | annotate |
| Wed, 01 Jun 2005 10:30:07 +0200 | haftmann | concl antiqutations | file | diff | annotate |
| Wed, 01 Jun 2005 08:44:25 +0200 | nipkow | added premise<i> | file | diff | annotate |
| Tue, 17 May 2005 18:10:43 +0200 | wenzelm | substantial tuning -- adapted to common conventions; | file | diff | annotate |
| Sun, 15 May 2005 21:04:10 +0200 | berghofe | Eta-expanded merge function (to make SmlNJ happy). | file | diff | annotate |
| Sat, 14 May 2005 21:31:13 +0200 | haftmann | added Proof.context to antiquotation | file | diff | annotate |
| Tue, 03 May 2005 10:33:31 +0200 | haftmann | final implementation of antiquotations styles | file | diff | annotate |