Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy
Wed, 25 Aug 2010 16:59:55 +0200 bulwahn renaming variables to conform to prolog names file | diff | annotate
Wed, 25 Aug 2010 16:59:50 +0200 bulwahn invocation of values for prolog execution does not require invocation of code_pred anymore file | diff | annotate
Wed, 25 Aug 2010 16:59:48 +0200 bulwahn improving ensure_groundness in prolog generation; added further example file | diff | annotate
Wed, 25 Aug 2010 16:59:46 +0200 bulwahn adding very basic transformation to ensure groundness before negations file | diff | annotate
Sun, 01 Aug 2010 10:15:43 +0200 bulwahn setting up Code_Prolog_Examples file | diff | annotate
Sun, 01 Aug 2010 10:15:43 +0200 bulwahn adding queens and symbolic derivation example for prolog code generation file | diff | annotate
Thu, 29 Jul 2010 17:27:58 +0200 bulwahn cleaning example file; more natural ordering of variable names file | diff | annotate
Thu, 29 Jul 2010 17:27:55 +0200 bulwahn adding values command and parsing prolog output file | diff | annotate
Thu, 29 Jul 2010 17:27:54 +0200 bulwahn adding example file for prolog code generation; adding prolog code generation example to IsaMakefile file | diff | annotate
less more (0) tip
isabelle