src/HOL/ex/ROOT.ML
Mon, 26 Mar 2007 14:53:05 +0200 haftmann moved Eval theory to library
Fri, 23 Mar 2007 09:40:47 +0100 haftmann removed outdated example
Mon, 22 Jan 2007 18:17:04 +0100 krauss Included ex/Fundefs.thy in HOL-ex session
Sat, 20 Jan 2007 14:27:45 +0100 wenzelm added HOL/ex/Binary.thy;
Tue, 16 Jan 2007 08:06:55 +0100 haftmann refined and added example for ExecutableRat
Wed, 27 Dec 2006 19:10:00 +0100 haftmann added OCaml code generation (without dictionaries)
Wed, 08 Nov 2006 23:11:13 +0100 wenzelm moved theories Parity, GCD, Binomial to Library;
Fri, 06 Oct 2006 03:49:36 +0200 kleing examples for hex and bin numerals
Sun, 01 Oct 2006 18:29:31 +0200 wenzelm reactivated theory PER;
Tue, 19 Sep 2006 15:22:05 +0200 haftmann code generation 2 adjustments
Wed, 30 Aug 2006 08:34:45 +0200 haftmann added yet another code generator example
Tue, 29 Aug 2006 14:31:14 +0200 haftmann added and refined some exmples
Mon, 21 Aug 2006 11:02:39 +0200 haftmann added some codegen examples/applications
Thu, 03 Aug 2006 15:03:49 +0200 wenzelm added HOL/ex/Reflection;
Tue, 04 Jul 2006 19:49:47 +0200 wenzelm added ex/Guess.thy;
Fri, 09 Jun 2006 16:25:05 +0200 nipkow nbe -> NormalForm
Thu, 13 Apr 2006 12:01:16 +0200 wenzelm early test of Classpackage, Codegenerator;
Fri, 17 Mar 2006 14:20:24 +0100 haftmann added example for operational classes and code generator
Sat, 11 Mar 2006 16:53:10 +0100 wenzelm nbe: no_document;
Mon, 27 Feb 2006 14:34:03 +0100 nipkow added temp. nbe test
Thu, 16 Feb 2006 21:11:58 +0100 wenzelm added ex/Abstract_NAT.thy;
Sun, 12 Feb 2006 10:42:19 +0100 kleing * moved ThreeDivides from Isar_examples to better suited HOL/ex
Sat, 14 Jan 2006 17:14:06 +0100 wenzelm sane ERROR handling;
Wed, 14 Dec 2005 22:05:22 +0100 webertj ex/Sudoku.thy
Fri, 07 Oct 2005 22:59:21 +0200 wenzelm removed obsolete ex/Tuple.thy;
Fri, 23 Sep 2005 22:58:50 +0200 webertj new sat tactic imports resolution proofs from zChaff
Tue, 20 Sep 2005 13:56:34 +0200 wenzelm Chinese Unicode example;
Sat, 17 Sep 2005 18:11:26 +0200 wenzelm Hebrew: HTML.with_charset;
Thu, 15 Sep 2005 17:17:01 +0200 wenzelm added Hebrew.thy;
Wed, 14 Sep 2005 17:25:52 +0200 chaieb The oracle for Presburger has been changer: It is automatically generated form a verified formaliztion of Cooper's Algorithm ex/Reflected_Presburger.thy
Thu, 28 Apr 2005 17:08:08 +0200 bauerg *** empty log message ***
Mon, 12 Jul 2004 12:11:46 +0200 nipkow *** empty log message ***
Fri, 16 Apr 2004 20:33:16 +0200 nipkow Moved ring stuff from ex into Ring_and_Field.
Fri, 16 Apr 2004 18:09:24 +0200 berghofe Added theory with examples for quickcheck command.
Thu, 15 Apr 2004 14:17:45 +0200 nipkow Added ex/Exceptions.thy
Mon, 29 Mar 2004 15:35:04 +0200 skalberg Added bitvector library (Word) to HOL/Library and a theory using it (Adder)
Thu, 25 Mar 2004 05:37:32 +0100 kleing moved MiniML and AVL to archive of formal proofs
Thu, 11 Mar 2004 11:24:54 +0100 webertj Refute_Examples added/fixed
Wed, 10 Mar 2004 22:39:12 +0100 webertj added Refute_Examples.thy
Wed, 22 Oct 2003 10:52:36 +0200 paulson InductiveInvariant_examples illustrates advanced recursive function definitions
Wed, 08 Oct 2003 15:57:41 +0200 paulson Merging of ex/cla.ML and ex/mesontest.ML to ex/Classical.thy
Tue, 25 Mar 2003 09:50:53 +0100 berghofe Added examples for Presburger arithmetic.
Mon, 03 Jun 2002 09:36:30 +0200 nipkow Added ex/MergeSort
Tue, 05 Feb 2002 23:18:08 +0100 wenzelm moved SVC stuff to ex;
Mon, 10 Dec 2001 15:36:05 +0100 berghofe Added example file for intuitionistic logic (taken from FOL).
Tue, 04 Dec 2001 17:59:36 +0100 wenzelm added Higher_Order_Logic.thy;
Fri, 23 Nov 2001 19:19:35 +0100 wenzelm time_use_thy "Locales";
Thu, 22 Nov 2001 23:46:33 +0100 wenzelm theory Locales temporarily disabled;
Fri, 09 Nov 2001 00:11:52 +0100 wenzelm back to normal;
Thu, 08 Nov 2001 23:50:08 +0100 wenzelm tuned;
Tue, 06 Nov 2001 23:51:16 +0100 wenzelm use_thy "Locales";
Thu, 27 Sep 2001 15:42:08 +0200 wenzelm tuned;
Mon, 23 Jul 2001 17:45:35 +0200 paulson PiSets moved to GroupTheory, while LocaleGroup deleted
Fri, 10 Nov 2000 19:08:30 +0100 wenzelm proper theory context for mesontest2;
Thu, 21 Sep 2000 15:58:13 +0200 wenzelm renamed HOL/ex/Points to HOL/ex/Records;
Wed, 13 Sep 2000 18:45:10 +0200 paulson moved Primes, Fib, Factorization to HOL/NumberTheory
Tue, 05 Sep 2000 10:15:23 +0200 paulson meson.ML moved from HOL/ex to HOL/Tools: meson_tac installed by default
Sun, 16 Jul 2000 20:49:33 +0200 wenzelm added Tuple.thy;
Thu, 13 Jul 2000 11:41:40 +0200 wenzelm tuned;
Wed, 21 Jun 2000 15:58:23 +0200 wenzelm fixed deps;
less more (0) -100 -60 tip