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 |