noschinl [Thu, 20 Feb 2014 15:14:37 +0100] rev 55604
less flex-flex pairs
traytel [Thu, 20 Feb 2014 13:53:26 +0100] rev 55603
less flex-flex pairs (thanks to Lars' statistics)
traytel [Thu, 20 Feb 2014 11:40:03 +0100] rev 55602
made tactics more robust
haftmann [Wed, 19 Feb 2014 22:08:47 +0100] rev 55601
offical tool
haftmann [Wed, 19 Feb 2014 22:05:15 +0100] rev 55600
more convenient syntax for permanent interpretation
haftmann [Wed, 19 Feb 2014 22:05:05 +0100] rev 55599
aggiornamento for "interpretation with definitions": operate uniformly on theory and locale level under the brand of "permanent interpretation"
kleing [Thu, 20 Feb 2014 12:27:51 +1100] rev 55598
move stronger rules into exercise
sultana [Wed, 19 Feb 2014 15:57:02 +0000] rev 55597
added a function that carries out all the reconstruction steps, for improved usability;
added documentation;
sultana [Wed, 19 Feb 2014 15:57:02 +0000] rev 55596
reconstruction framework for LEO-II's TPTP proofs;
sultana [Wed, 19 Feb 2014 15:57:02 +0000] rev 55595
made list of test files a parameter to timed_test in TPTP_Test.thy, and updated dependent definitions;