| Sat, 03 Nov 2001 18:41:13 +0100 | wenzelm | converted theory Dnat; | file | diff | annotate |
| Sat, 03 Nov 2001 01:38:39 +0100 | wenzelm | converted theory Lift; | file | diff | annotate |
| Thu, 31 May 2001 16:53:00 +0200 | oheimb | added FOCUS including the One-Element Buffer by Manfred Broy | file | diff | annotate |
| Tue, 28 Mar 2000 17:33:44 +0200 | nipkow | mods because of weak_case_cong -> removed Action.ML twice | file | diff | annotate |
| Thu, 22 Apr 1999 12:47:13 +0200 | mueller | added ex and Modelcheck | file | diff | annotate |
| Wed, 03 Feb 1999 17:32:10 +0100 | wenzelm | usedir -r; | file | diff | annotate |
| Wed, 02 Dec 1998 16:14:09 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 02 Dec 1998 16:10:49 +0100 | wenzelm | IOA-Storage: Memory storage case study. | file | diff | annotate |
| Tue, 13 Jan 1998 14:31:09 +0100 | mueller | added simulations files to IOA; | file | diff | annotate |
| Mon, 12 Jan 1998 17:51:05 +0100 | mueller | added further IOA liles; | file | diff | annotate |
| Wed, 07 Jan 1998 13:53:42 +0100 | wenzelm | improved targets; | file | diff | annotate |
| Fri, 19 Dec 1997 10:18:58 +0100 | wenzelm | log files; | file | diff | annotate |
| Tue, 04 Nov 1997 17:12:13 +0100 | wenzelm | HOLCFLogic.ML, contconsts.ML renamed to holcf_logic.ML, cont_consts.ML; | file | diff | annotate |
| Tue, 04 Nov 1997 14:40:29 +0100 | oheimb | * removed "axioms" and "generated by" section | file | diff | annotate |
| Thu, 30 Oct 1997 10:50:04 +0100 | wenzelm | added adm.ML; | file | diff | annotate |
| Mon, 20 Oct 1997 12:45:51 +0200 | wenzelm | removed Dlist; | file | diff | annotate |
| Fri, 17 Oct 1997 17:33:22 +0200 | wenzelm | removed Classlib; | file | diff | annotate |
| Mon, 07 Jul 1997 09:09:21 +0200 | wenzelm | eliminated chmod -w; | file | diff | annotate |
| Mon, 26 May 1997 13:51:03 +0200 | slotosch | removed ccc1 | file | diff | annotate |
| Sun, 25 May 1997 16:17:09 +0200 | slotosch | Eliminated the prediates flat,chfin | file | diff | annotate |
| Thu, 15 May 1997 11:35:26 +0200 | wenzelm | remove Witness.thy; | file | diff | annotate |
| Tue, 06 May 1997 15:27:35 +0200 | wenzelm | fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?); | file | diff | annotate |
| Wed, 30 Apr 1997 12:06:18 +0200 | mueller | added IOA (meta theory and ABP, NTP examples); | file | diff | annotate |
| Fri, 25 Apr 1997 15:24:07 +0200 | wenzelm | removed -c option; | file | diff | annotate |
| Thu, 24 Apr 1997 18:44:32 +0200 | wenzelm | removed space; | file | diff | annotate |
| Thu, 24 Apr 1997 10:40:01 +0200 | oheimb | added dependencies on ax_ops/*.ML and domain/*.ML | file | diff | annotate |
| Wed, 26 Mar 1997 17:58:48 +0100 | nipkow | Added "discrete" CPOs and modified IMP to use those rather than "lift" | file | diff | annotate |
| Thu, 20 Mar 1997 11:39:40 +0100 | wenzelm | isatool usedir; | file | diff | annotate |
| Mon, 17 Mar 1997 15:37:16 +0100 | nipkow | Added the HOLCF-based den. sem. of IMP. | file | diff | annotate |
| Mon, 24 Feb 1997 16:12:24 +0100 | oheimb | removed explicit_domains/, which is now covered by ex/ | file | diff | annotate |
| Mon, 17 Feb 1997 10:57:11 +0100 | slotosch | Changes of HOLCF from Oscar Slotosch: | file | diff | annotate |
| Fri, 31 Jan 1997 16:57:45 +0100 | oheimb | reflecting the changes made in HOLCF/ex and HOLCF/explicit_domains | file | diff | annotate |
| Wed, 08 Jan 1997 15:12:44 +0100 | wenzelm | IsaMakefile for HOLCF; | file | diff | annotate |