src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy
Fri, 18 Aug 2017 20:47:47 +0200 wenzelm session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
Thu, 26 May 2016 17:51:22 +0200 wenzelm isabelle update_cartouches -c -t;
Thu, 11 Sep 2014 19:32:36 +0200 blanchet updated news
Tue, 09 Sep 2014 20:51:36 +0200 blanchet use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
Thu, 13 Feb 2014 11:54:14 +0100 wenzelm do not redefine outer syntax commands;
Sun, 13 Mar 2011 21:21:48 +0100 wenzelm modernized imports (untested!?);
Fri, 07 Jan 2011 23:30:29 +0100 wenzelm eliminated hard tabs;
Fri, 29 Oct 2010 17:25:22 +0200 nipkow hide Sum_Type.Plus
Thu, 30 Sep 2010 10:48:12 +0200 bulwahn adapting manual configuration in examples
Thu, 16 Sep 2010 13:49:12 +0200 bulwahn adding values to show and ensure that values works with complex terms and restores numerals on natural numbers
Thu, 16 Sep 2010 13:49:08 +0200 bulwahn adapting examples
Tue, 07 Sep 2010 11:51:53 +0200 bulwahn adapting example files
Tue, 31 Aug 2010 15:21:56 +0200 bulwahn adapting and tuning example theories
Tue, 31 Aug 2010 08:00:53 +0200 bulwahn storing options for prolog code generation in the theory
Tue, 31 Aug 2010 08:00:52 +0200 bulwahn adapting example files to latest changes
Fri, 27 Aug 2010 09:34:06 +0200 bulwahn added support for yet another prolog system (yap); generate has only one option ensure_groundness; added one example of yap invocation in example theory
Thu, 26 Aug 2010 14:48:48 +0200 bulwahn adapted examples; tuned
Wed, 25 Aug 2010 16:59:55 +0200 bulwahn renaming variables to conform to prolog names
Wed, 25 Aug 2010 16:59:50 +0200 bulwahn invocation of values for prolog execution does not require invocation of code_pred anymore
Wed, 25 Aug 2010 16:59:48 +0200 bulwahn improving ensure_groundness in prolog generation; added further example
Wed, 25 Aug 2010 16:59:46 +0200 bulwahn adding very basic transformation to ensure groundness before negations
Sun, 01 Aug 2010 10:15:43 +0200 bulwahn setting up Code_Prolog_Examples
Sun, 01 Aug 2010 10:15:43 +0200 bulwahn adding queens and symbolic derivation example for prolog code generation
Thu, 29 Jul 2010 17:27:58 +0200 bulwahn cleaning example file; more natural ordering of variable names
Thu, 29 Jul 2010 17:27:55 +0200 bulwahn adding values command and parsing prolog output
Thu, 29 Jul 2010 17:27:54 +0200 bulwahn adding example file for prolog code generation; adding prolog code generation example to IsaMakefile
less more (0) tip