src/HOLCF/Makefile
Mon, 26 May 1997 14:54:24 +0200 slotosch remoded 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;
Fri, 25 Apr 1997 11:11:52 +0200 oheimb removed one blank at end of line 37
Thu, 24 Apr 1997 10:40:01 +0200 oheimb added dependencies on ax_ops/*.ML and domain/*.ML
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, 18 Dec 1996 15:16:13 +0100 oheimb removed Holcfb.thy and Holcfb.ML, moving classical3 to HOL.ML as classical2
Fri, 29 Nov 1996 12:15:33 +0100 oheimb renamed is_flat to flat,
Wed, 27 Nov 1996 10:31:05 +0100 paulson Makefile improvements by Thomas Santen and Stephan Herrmann
Mon, 21 Oct 1996 11:18:34 +0200 paulson ISABELLECOMP may now have a leading pathname
Tue, 15 Oct 1996 10:46:42 +0200 paulson Removed extraneous spaces from all Makefiles
Wed, 25 Sep 1996 11:10:31 +0200 paulson Calls discgarb -c to realize dramatic space savings!
Tue, 23 Apr 1996 17:04:23 +0200 oheimb adapted several proofs
Sat, 10 Feb 1996 19:04:21 +0100 clasohm make_html now only remains set if MAKE_HTML=true
Tue, 21 Nov 1995 15:10:12 +0100 clasohm main directory is now read by exit_use_dir, too;
Tue, 21 Nov 1995 12:41:52 +0100 clasohm replaced exit_use by exit_use_dir for subdirectories
Wed, 25 Oct 1995 12:53:53 +0100 clasohm added init_html and make_chart
Tue, 10 Oct 1995 11:55:45 +0100 regensbu corrected some errors that occurred after introduction of local simpsets
Fri, 06 Oct 1995 17:25:24 +0100 regensbu added 8bit pragmas
Wed, 15 Mar 1995 10:34:47 +0100 lcp Now calls exit_use instead of use, for prompt failure if errors are detected.
Tue, 28 Feb 1995 10:51:52 +0100 lcp Uses "suffix substitution" to shorten macro definitions.
Mon, 28 Nov 1994 19:48:30 +0100 regensbu ----------------------------------------------------------------------
Tue, 12 Jul 1994 18:20:39 +0200 lcp Improved error checking
Wed, 27 Apr 1994 11:27:33 +0200 lcp added many more filenames to FILES and EX_FILES
Fri, 22 Apr 1994 21:47:22 +0200 clasohm renamed theory files
Wed, 19 Jan 1994 17:35:01 +0100 nipkow Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF
less more (0) tip