src/HOLCF/ROOT.ML
Mon, 20 Jun 2005 22:13:56 +0200 wenzelm removed obsolete print_depth;
Tue, 07 Sep 2004 16:02:42 +0200 oheimb integrated Streams with ex/Stream.*; added FOCUS/Fstreams.thy
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Mon, 12 Apr 2004 12:18:48 +0200 oheimb added Streams.thy (with stream concatenation etc.)
Sat, 03 Nov 2001 18:41:28 +0100 wenzelm GPLed;
Thu, 11 Mar 1999 13:20:35 +0100 wenzelm removed foo_build_completed -- now handled by session management (via usedir);
Mon, 21 Sep 1998 22:58:43 +0200 oheimb added dependance on HOL
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 16:57:52 +0100 wenzelm tuned to make non-Poly/MLs happy;
Tue, 04 Nov 1997 14:40:29 +0100 oheimb * removed "axioms" and "generated by" section
Thu, 30 Oct 1997 14:17:33 +0100 oheimb domain package:
Mon, 27 Oct 1997 15:43:16 +0100 wenzelm do not change global_names flag;
Mon, 27 Oct 1997 11:34:33 +0100 oheimb adapted domain and ax_ops package for name spaces
Mon, 20 Oct 1997 12:47:44 +0200 wenzelm set global_names;
Wed, 06 Aug 1997 11:58:50 +0200 wenzelm tuned;
Wed, 06 Aug 1997 00:37:21 +0200 berghofe Replaced "init_thy_reader" by set_parser.
Wed, 09 Jul 1997 17:00:34 +0200 wenzelm removed obsolete init_pps and init_thy_reader;
Fri, 13 Dec 1996 18:45:58 +0100 oheimb adaptions for symbol font
Mon, 09 Dec 1996 19:07:26 +0100 sandnerr qed_spec_mp moved to end of file
Fri, 29 Nov 1996 15:31:13 +0100 wenzelm added qed_spec_mp (from HOL);
Fri, 29 Nov 1996 12:22:22 +0100 oheimb *** empty log message ***
Fri, 29 Nov 1996 12:15:33 +0100 oheimb renamed is_flat to flat,
Thu, 26 Sep 1996 15:14:23 +0200 paulson Ran expandshort; used stac instead of ssubst
Fri, 31 May 1996 19:55:19 +0200 oheimb introduced forgotten bind_thm calls
Tue, 12 Mar 1996 12:59:56 +0100 regensbu added ' make_html:=false;' to end of ROOT file
Tue, 30 Jan 1996 13:42:57 +0100 clasohm expanded tabs
Tue, 21 Nov 1995 15:10:12 +0100 clasohm main directory is now read by exit_use_dir, too;
Wed, 25 Oct 1995 12:53:53 +0100 clasohm added init_html and make_chart
Tue, 17 Oct 1995 17:00:10 +0100 regensbu removed incompatibility with sml
Fri, 06 Oct 1995 17:25:24 +0100 regensbu added 8bit pragmas
Wed, 04 Oct 1995 14:01:44 +0100 clasohm added local simpsets
Thu, 29 Jun 1995 16:28:40 +0200 regensbu The curried version of HOLCF is now just called HOLCF. The old
Fri, 17 Mar 1995 15:35:09 +0100 regensbu Removed bugs which occurred due to new generation mechanism for type variables
Thu, 06 Oct 1994 18:40:18 +0100 nipkow New version
Thu, 19 May 1994 17:06:24 +0200 wenzelm thy reader now initialised by init_thy_reader();
Thu, 24 Mar 1994 13:36:34 +0100 nipkow Franz fragen
Wed, 19 Jan 1994 17:35:01 +0100 nipkow Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF
less more (0) tip