isabelle: Changelog

blanchet [Mon, 02 May 2011 22:52:15 +0200] rev 42642

tuning

blanchet [Mon, 02 May 2011 22:52:15 +0200] rev 42641

recognize simplification rules even if they look a bit different from the theorems in the theories (meta equality, variable numbers)

blanchet [Mon, 02 May 2011 22:52:15 +0200] rev 42640

generate tags for simps, intros, and elims in TPTP poblems on demand

blanchet [Mon, 02 May 2011 22:52:15 +0200] rev 42639

proper default for TPTP source filed

blanchet [Mon, 02 May 2011 22:52:15 +0200] rev 42638

have each ATP filter out dangerous facts for themselves, based on their type system

wenzelm [Mon, 02 May 2011 22:31:46 +0200] rev 42637

eliminated old CVS Ids;

wenzelm [Mon, 02 May 2011 22:19:28 +0200] rev 42636

no use of package rail;

wenzelm [Mon, 02 May 2011 22:06:49 +0200] rev 42635

obsolete;

wenzelm [Mon, 02 May 2011 22:05:47 +0200] rev 42634

removed rail garbage;

wenzelm [Mon, 02 May 2011 22:03:18 +0200] rev 42633

NEWS;

isabelle