isabelle: File revisions

src/HOL/Tools/Predicate_Compile/code_prolog.ML

Sun, 01 Aug 2010 10:15:43 +0200	bulwahn	adding parsing of numbers; improving output of solution without free variables in prolog code generation	file \| diff \| annotate
Sun, 01 Aug 2010 10:15:43 +0200	bulwahn	adding preprocessing of introduction rules to replace the constant Predicate.eq in the prolog code generation	file \| diff \| annotate
Sun, 01 Aug 2010 10:15:43 +0200	bulwahn	adding basic arithmetic support for prolog code generation	file \| diff \| annotate
Sun, 01 Aug 2010 10:15:43 +0200	bulwahn	adding numbers as basic term in prolog code generation	file \| diff \| annotate
Thu, 29 Jul 2010 18:16:35 +0200	bulwahn	adapting output for first solution	file \| diff \| annotate
Thu, 29 Jul 2010 17:27:59 +0200	bulwahn	removing pointless type information in internal prolog terms	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:57 +0200	bulwahn	improving translation to prolog; restoring terms from prolog output; adding tracing support	file \| diff \| annotate

isabelle