| Sat, 29 Mar 2008 19:14:00 +0100 | wenzelm | replaced 'ML_setup' by 'ML'; | file | diff | annotate |
| Wed, 19 Mar 2008 22:50:42 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
| Wed, 03 Oct 2007 21:29:05 +0200 | wenzelm | avoid unnamed infixes; | file | diff | annotate |
| Mon, 01 Oct 2007 15:14:51 +0200 | wenzelm | ML_setup for bind_thms; | file | diff | annotate |
| Mon, 09 Oct 2006 02:20:10 +0200 | wenzelm | reorderd ML/lemmas (Why!?); | file | diff | annotate |
| Tue, 18 Jul 2006 02:22:38 +0200 | wenzelm | removed obsolete ML files; | file | diff | annotate |
| Tue, 06 Jun 2006 20:42:25 +0200 | wenzelm | quoted "if"; | file | diff | annotate |
| Fri, 07 Oct 2005 22:59:18 +0200 | wenzelm | print_translation: does not handle _idtdummy; | file | diff | annotate |
| Sat, 17 Sep 2005 17:35:26 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Fri, 21 May 2004 21:14:18 +0200 | wenzelm | proper use of 'syntax'; | file | diff | annotate |
| Fri, 10 Oct 1997 17:10:12 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Mon, 03 Mar 1997 13:53:29 +0100 | wenzelm | added comment; | file | diff | annotate |
| Mon, 05 Feb 1996 14:44:09 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Wed, 21 Jun 1995 15:01:07 +0200 | clasohm | removed \...\ inside strings | file | diff | annotate |
| Thu, 06 Apr 1995 10:51:42 +0200 | lcp | Gave tighter priorities to if, napply and the let-forms to | file | diff | annotate |
| Wed, 14 Sep 1994 14:49:56 +0200 | wenzelm | letrec syntax: replaced "id" by "idt"; | file | diff | annotate |
| Tue, 22 Mar 1994 12:42:56 +0100 | clasohm | changed "." to "$" to eliminate ambiguity | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |