2012-04-23 hoelzl [Mon, 23 Apr 2012 13:40:02 +0200] rev 47695
CONTRIBUTORS
CONTRIBUTORS

2012-04-23 hoelzl [Mon, 23 Apr 2012 12:14:35 +0200] rev 47694
reworked Probability theory
NEWS src/HOL/IsaMakefile src/HOL/Probability/Binary_Product_Measure.thy src/HOL/Probability/Borel_Space.thy src/HOL/Probability/Caratheodory.thy src/HOL/Probability/Complete_Measure.thy src/HOL/Probability/Conditional_Probability.thy src/HOL/Probability/Finite_Product_Measure.thy src/HOL/Probability/Independent_Family.thy src/HOL/Probability/Infinite_Product_Measure.thy src/HOL/Probability/Information.thy src/HOL/Probability/Lebesgue_Integration.thy src/HOL/Probability/Lebesgue_Measure.thy src/HOL/Probability/Measure.thy src/HOL/Probability/Measure_Space.thy src/HOL/Probability/Probability.thy src/HOL/Probability/Probability_Measure.thy src/HOL/Probability/Radon_Nikodym.thy src/HOL/Probability/Sigma_Algebra.thy src/HOL/Probability/ex/Dining_Cryptographers.thy src/HOL/Probability/ex/Koepf_Duermuth_Countermeasure.thy

2012-04-23 sultana [Mon, 23 Apr 2012 12:23:23 +0100] rev 47693
updated test;
src/HOL/TPTP/TPTP_Interpret_Test.thy

2012-04-23 sultana [Mon, 23 Apr 2012 12:23:23 +0100] rev 47692
improved non-interpretation of constants and numbers;
improved interpretation of terms and formulas;
tuned;
src/HOL/TPTP/TPTP_Parser/tptp_interpret.ML src/HOL/TPTP/TPTP_Parser/tptp_syntax.ML

2012-04-23 sultana [Mon, 23 Apr 2012 12:23:23 +0100] rev 47691
improved interpreting conditionals;
tuned;
src/HOL/TPTP/TPTP_Parser/tptp_interpret.ML

2012-04-23 sultana [Mon, 23 Apr 2012 12:23:23 +0100] rev 47690
disabled interpreting arithmetic;
src/HOL/TPTP/TPTP_Parser/tptp_interpret.ML

2012-04-23 sultana [Mon, 23 Apr 2012 12:23:23 +0100] rev 47689
improved handling of single-quoted names;
src/HOL/TPTP/TPTP_Parser/tptp.lex src/HOL/TPTP/TPTP_Parser/tptp.yacc src/HOL/TPTP/TPTP_Parser/tptp_lexyacc.ML

2012-04-23 sultana [Mon, 23 Apr 2012 12:23:23 +0100] rev 47688
disabled exception packaging in tptp;
src/HOL/TPTP/TPTP_Parser/tptp_interpret.ML

2012-04-23 sultana [Mon, 23 Apr 2012 12:23:23 +0100] rev 47687
moved function for testing problem-name parsing;
list of TPTP test files not immediately evaluated;
src/HOL/TPTP/TPTP_Parser_Example.thy src/HOL/TPTP/TPTP_Parser_Test.thy src/HOL/TPTP/TPTP_Test.thy

2012-04-23 sultana [Mon, 23 Apr 2012 12:23:23 +0100] rev 47686
removed redundant function;
src/HOL/TPTP/TPTP_Parser/tptp_interpret.ML