| Thu, 11 Sep 2014 18:54:36 +0200 |
blanchet |
renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
|
file |
diff |
annotate
|
| Fri, 17 May 2013 08:19:52 +0200 |
nipkow |
replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
|
file |
diff |
annotate
|
| Sat, 28 Apr 2012 07:38:22 +0200 |
nipkow |
renamed Semi to Seq
|
file |
diff |
annotate
|
| Wed, 09 Nov 2011 14:47:38 +1100 |
kleing |
more fragments to export, removed the one from Com
|
file |
diff |
annotate
|
| Thu, 03 Nov 2011 15:54:19 +1100 |
kleing |
more IMP text fragments
|
file |
diff |
annotate
|
| Thu, 20 Oct 2011 09:48:00 +0200 |
nipkow |
renamed name -> vname
|
file |
diff |
annotate
|
| Wed, 01 Jun 2011 21:35:34 +0200 |
nipkow |
Replacing old IMP with new Semantics material
|
file |
diff |
annotate
|
| Wed, 30 Mar 2011 23:26:40 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
| Sun, 16 Jan 2011 15:53:03 +0100 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Wed, 25 Jun 2008 22:01:34 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Sun, 09 Dec 2001 14:35:36 +0100 |
kleing |
converted to Isar
|
file |
diff |
annotate
|
| Sat, 01 Dec 2001 18:52:32 +0100 |
wenzelm |
renamed class "term" to "type" (actually "HOL.type");
|
file |
diff |
annotate
|
| Tue, 04 Jul 2000 10:54:46 +0200 |
oheimb |
disambiguated := ; added Examples (factorial)
|
file |
diff |
annotate
|
| Wed, 24 Nov 1999 12:12:36 +0100 |
nipkow |
Basis now Main.
|
file |
diff |
annotate
|
| Fri, 24 Jul 1998 13:03:20 +0200 |
berghofe |
Adapted to new datatype package.
|
file |
diff |
annotate
|
| Sat, 27 Apr 1996 18:47:31 +0200 |
nipkow |
A completely new version of IMP.
|
file |
diff |
annotate
|
| Wed, 07 Feb 1996 12:22:32 +0100 |
nipkow |
Modified datatype com.
|
file |
diff |
annotate
|
| Mon, 05 Feb 1996 21:29:06 +0100 |
clasohm |
expanded tabs; incorporated Konrad's changes
|
file |
diff |
annotate
|
| Wed, 29 Nov 1995 17:01:41 +0100 |
clasohm |
removed quotes from consts and syntax sections
|
file |
diff |
annotate
|
| Wed, 21 Jun 1995 15:47:10 +0200 |
clasohm |
removed \...\ inside strings
|
file |
diff |
annotate
|
| Tue, 28 Mar 1995 12:25:20 +0200 |
clasohm |
changed syntax of datatype declarations (curried types for constructor
|
file |
diff |
annotate
|
| Fri, 24 Mar 1995 12:30:35 +0100 |
clasohm |
changed syntax of tuples from <..., ...> to (..., ...)
|
file |
diff |
annotate
|
| Mon, 20 Mar 1995 15:35:28 +0100 |
clasohm |
changed syntax of "if"
|
file |
diff |
annotate
|
| Fri, 03 Mar 1995 12:04:16 +0100 |
clasohm |
new version of HOL/IMP with curried function application
|
file |
diff |
annotate
|