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 |