| Fri, 07 Oct 2005 22:59:18 +0200 | wenzelm | print_translation: does not handle _idtdummy; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Sun, 11 Jul 2004 20:33:22 +0200 | wenzelm | local_cla/simpset_of; | file | diff | annotate |
| Tue, 11 Mar 2003 15:04:24 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Sun, 22 Dec 2002 15:02:40 +0100 | nipkow | removed some problems with print translations | file | diff | annotate |
| Fri, 29 Nov 2002 09:48:28 +0100 | nipkow | added a few lemmas | file | diff | annotate |
| Wed, 06 Nov 2002 14:01:38 +0100 | nipkow | a new pointer example and some syntactic sugar | file | diff | annotate |
| Mon, 28 Oct 2002 14:29:51 +0100 | nipkow | conversion ML -> thy | file | diff | annotate |
| Thu, 27 Sep 2001 22:24:28 +0200 | wenzelm | renamed "()" to Unity; | file | diff | annotate |
| Fri, 21 Jul 2000 16:35:12 +0200 | prensani | Updating of some comments | file | diff | annotate |
| Mon, 04 Jan 1999 15:07:47 +0100 | nipkow | Version 1.0 of linear nat arithmetic. | file | diff | annotate |
| Wed, 14 Oct 1998 15:26:31 +0200 | nipkow | New many-sorted version. | file | diff | annotate |
| Fri, 25 Sep 1998 14:05:13 +0200 | paulson | patched obsolete code | file | diff | annotate |
| Fri, 24 Jul 1998 13:03:20 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Tue, 09 Jun 1998 13:49:43 +0200 | wenzelm | nonterminals prog; | file | diff | annotate |
| Fri, 10 Oct 1997 19:02:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Fri, 04 Apr 1997 14:05:12 +0200 | nipkow | renamed variable 'inv' | file | diff | annotate |
| Mon, 03 Mar 1997 13:50:40 +0100 | wenzelm | added comment: print translations do not mark tokens; | file | diff | annotate |
| Wed, 27 Nov 1996 10:41:42 +0100 | paulson | Replaced obsolete "makestring" by Int.toString | file | diff | annotate |
| Tue, 25 Jun 1996 13:11:29 +0200 | berghofe | Changed argument order of nat_rec. | file | diff | annotate |
| Fri, 08 Mar 1996 13:11:09 +0100 | clasohm | added constdefs section | file | diff | annotate |
| Mon, 05 Feb 1996 21:29:06 +0100 | clasohm | expanded tabs; incorporated Konrad's changes | file | diff | annotate |
| Fri, 01 Dec 1995 14:17:50 +0100 | clasohm | removed quotes from types section | file | diff | annotate |
| Wed, 29 Nov 1995 17:01:41 +0100 | clasohm | removed quotes from consts and syntax sections | file | diff | annotate |
| Fri, 17 Nov 1995 09:04:10 +0100 | nipkow | New directory. | file | diff | annotate |