src/HOLCF/IsaMakefile
Fri, 03 Jun 2005 23:14:09 +0200 huffman renamed FunCpo to Ffun
Tue, 24 May 2005 10:55:11 +0200 paulson cannot have files named adm.ML and Adm.ML on Macs, so deleted one and renamed the other
Tue, 24 May 2005 05:51:06 +0200 huffman New theory for defining subtypes of pcpos
Tue, 24 May 2005 05:03:54 +0200 huffman Moved admissibility definitions and lemmas to a separate theory
Sat, 16 Apr 2005 00:17:52 +0200 huffman speed improvements for the domain package
Mon, 07 Mar 2005 23:30:06 +0100 huffman Added dependency document/root.tex, and -g true option to isatool; document generation should work now.
Fri, 04 Mar 2005 23:12:36 +0100 huffman converted to new-style theories, and combined numbered files
Wed, 02 Mar 2005 00:56:41 +0100 huffman eliminated deps for removed files
Tue, 14 Dec 2004 10:40:07 +0100 paulson tidied; removed references to HOL theories
Tue, 07 Sep 2004 16:02:42 +0200 oheimb integrated Streams with ex/Stream.*; added FOCUS/Fstreams.thy
Mon, 12 Apr 2004 12:18:48 +0200 oheimb added Streams.thy (with stream concatenation etc.)
Thu, 27 Dec 2001 16:44:43 +0100 wenzelm IMP/document/root.tex;
Sun, 09 Dec 2001 14:37:42 +0100 kleing HOLCF/IMP converted to Isar
Sat, 03 Nov 2001 18:41:13 +0100 wenzelm converted theory Dnat;
Sat, 03 Nov 2001 01:38:39 +0100 wenzelm converted theory Lift;
Thu, 31 May 2001 16:53:00 +0200 oheimb added FOCUS including the One-Element Buffer by Manfred Broy
Tue, 28 Mar 2000 17:33:44 +0200 nipkow mods because of weak_case_cong -> removed Action.ML twice
Thu, 22 Apr 1999 12:47:13 +0200 mueller added ex and Modelcheck
Wed, 03 Feb 1999 17:32:10 +0100 wenzelm usedir -r;
Wed, 02 Dec 1998 16:14:09 +0100 wenzelm tuned;
Wed, 02 Dec 1998 16:10:49 +0100 wenzelm IOA-Storage: Memory storage case study.
Tue, 13 Jan 1998 14:31:09 +0100 mueller added simulations files to IOA;
Mon, 12 Jan 1998 17:51:05 +0100 mueller added further IOA liles;
Wed, 07 Jan 1998 13:53:42 +0100 wenzelm improved targets;
Fri, 19 Dec 1997 10:18:58 +0100 wenzelm log files;
Tue, 04 Nov 1997 17:12:13 +0100 wenzelm HOLCFLogic.ML, contconsts.ML renamed to holcf_logic.ML, cont_consts.ML;
Tue, 04 Nov 1997 14:40:29 +0100 oheimb * removed "axioms" and "generated by" section
Thu, 30 Oct 1997 10:50:04 +0100 wenzelm added adm.ML;
Mon, 20 Oct 1997 12:45:51 +0200 wenzelm removed Dlist;
Fri, 17 Oct 1997 17:33:22 +0200 wenzelm removed Classlib;
Mon, 07 Jul 1997 09:09:21 +0200 wenzelm eliminated chmod -w;
Mon, 26 May 1997 13:51:03 +0200 slotosch removed ccc1
Sun, 25 May 1997 16:17:09 +0200 slotosch Eliminated the prediates flat,chfin
Thu, 15 May 1997 11:35:26 +0200 wenzelm remove Witness.thy;
Tue, 06 May 1997 15:27:35 +0200 wenzelm fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
Wed, 30 Apr 1997 12:06:18 +0200 mueller added IOA (meta theory and ABP, NTP examples);
Fri, 25 Apr 1997 15:24:07 +0200 wenzelm removed -c option;
Thu, 24 Apr 1997 18:44:32 +0200 wenzelm removed space;
Thu, 24 Apr 1997 10:40:01 +0200 oheimb added dependencies on ax_ops/*.ML and domain/*.ML
Wed, 26 Mar 1997 17:58:48 +0100 nipkow Added "discrete" CPOs and modified IMP to use those rather than "lift"
Thu, 20 Mar 1997 11:39:40 +0100 wenzelm isatool usedir;
Mon, 17 Mar 1997 15:37:16 +0100 nipkow Added the HOLCF-based den. sem. of IMP.
Mon, 24 Feb 1997 16:12:24 +0100 oheimb removed explicit_domains/, which is now covered by ex/
Mon, 17 Feb 1997 10:57:11 +0100 slotosch Changes of HOLCF from Oscar Slotosch:
Fri, 31 Jan 1997 16:57:45 +0100 oheimb reflecting the changes made in HOLCF/ex and HOLCF/explicit_domains
Wed, 08 Jan 1997 15:12:44 +0100 wenzelm IsaMakefile for HOLCF;
less more (0) tip