isabelle: Changelog

blanchet [Tue, 26 Oct 2010 10:59:28 +0200] rev 40146

whitespace tuning

blanchet [Tue, 26 Oct 2010 10:57:04 +0200] rev 40145

no need to encode theorem number twice in skolem names

blanchet [Tue, 26 Oct 2010 10:39:52 +0200] rev 40144

tuning

blanchet [Tue, 26 Oct 2010 09:40:20 +0200] rev 40143

make SML/NJ happy

bulwahn [Mon, 25 Oct 2010 21:17:16 +0200] rev 40142

relaxing the filtering condition for getting specifications from Spec_Rules

bulwahn [Mon, 25 Oct 2010 21:17:16 +0200] rev 40141

adding new predicate compiler files to the IsaMakefile

bulwahn [Mon, 25 Oct 2010 21:17:15 +0200] rev 40140

using mode_eq instead of op = for lookup in the predicate compiler

bulwahn [Mon, 25 Oct 2010 21:17:14 +0200] rev 40139

renaming split_modeT' to split_modeT

bulwahn [Mon, 25 Oct 2010 21:17:13 +0200] rev 40138

options as first argument to check functions

bulwahn [Mon, 25 Oct 2010 21:17:12 +0200] rev 40137

changing test parameters in examples to get to a result within the global timelimit

isabelle