src/HOLCF/ex/ROOT.ML
2010-02-17 huffman 2010-02-17 add theory HOLCF/ex/Strict_Fun.thy
2009-11-20 huffman 2009-11-20 example theory for new domain package
2009-11-10 huffman 2009-11-10 HOLCF example: domain package proofs done manually
2009-04-21 huffman 2009-04-21 add HOLCF/ex/Domain_ex.thy, with example uses of the domain package
2009-02-19 huffman 2009-02-19 add Powerdomain_ex.thy
2007-07-31 wenzelm 2007-07-31 simultaneous use_thys;
2005-11-03 huffman 2005-11-03 removed proof about Ifix, which no longer exists
2005-06-23 huffman 2005-06-23 add new file to test fixrec package
2001-11-03 wenzelm 2001-11-03 GPLed;
2000-05-30 wenzelm 2000-05-30 cleaned up;
1999-03-11 wenzelm 1999-03-11 removed foo_build_completed -- now handled by session management (via usedir);
1997-12-19 wenzelm 1997-12-19 tuned;
1997-10-20 wenzelm 1997-10-20 removed Dlist;
1997-05-12 wenzelm 1997-05-12 removed Witness;
1997-01-31 oheimb 1997-01-31 added Classlib.* and Witness.*, moved (and updated) Coind.*, Dagstuhl.*, Dlist.*, Dnat.*, Focus_ex.* and Stream.* from HOLCF/explicit_domains to here adapted several proofs; now they work again. Hope that the following strange errors (when committing) do not matter: rlog error: RCS/Classlib.ML,v: No such file or directory rlog error: RCS/Classlib.thy,v: No such file or directory rlog error: RCS/Coind.ML,v: No such file or directory rlog error: RCS/Coind.thy,v: No such file or directory rlog error: RCS/Dagstuhl.ML,v: No such file or directory rlog error: RCS/Dagstuhl.thy,v: No such file or directory rlog error: RCS/Dlist.ML,v: No such file or directory rlog error: RCS/Dlist.thy,v: No such file or directory rlog error: RCS/Dnat.ML,v: No such file or directory rlog error: RCS/Dnat.thy,v: No such file or directory rlog error: RCS/Focus_ex.ML,v: No such file or directory rlog error: RCS/Focus_ex.thy,v: No such file or directory rlog error: RCS/Stream.ML,v: No such file or directory rlog error: RCS/Stream.thy,v: No such file or directory rlog error: RCS/Witness.ML,v: No such file or directory rlog error: RCS/Witness.thy,v: No such file or directory
1996-11-27 paulson 1996-11-27 Uses Basis Library equivalent of cd
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-11-21 clasohm 1995-11-21 removed make_chart; theories are now read from the current directory (because of use_dir)
1995-10-25 clasohm 1995-10-25 added make_chart
1995-10-06 regensbu 1995-10-06 added 8bit pragmas added directory ax_ops for sections axioms and ops added directory domain for sections domain and generated this is the type definition package of David Oheimb
1995-02-07 regensbu 1995-02-07 CVS:
1994-03-24 nipkow 1994-03-24 Franz fragen
1994-01-19 nipkow 1994-01-19 HOLCF examples