| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Thu, 21 Feb 2002 20:08:09 +0100 | wenzelm | theory Option has been assimilated by Datatype; | file | diff | annotate |
| Sat, 27 Oct 2001 00:00:05 +0200 | wenzelm | made new-style theory; | file | diff | annotate |
| Thu, 22 Jun 2000 23:04:34 +0200 | wenzelm | bind_thm(s); | file | diff | annotate |
| Thu, 19 Aug 1999 19:00:42 +0200 | berghofe | Moved sum_case stuff from Sum to Datatype. | file | diff | annotate |