Sun, 17 Jul 2011 14:11:35 +0200 renamed internal data structure
blanchet [Sun, 17 Jul 2011 14:11:35 +0200] rev 43859
renamed internal data structure
Sun, 17 Jul 2011 14:11:35 +0200 simplify code -- there are no lambdas in helpers anyway
blanchet [Sun, 17 Jul 2011 14:11:35 +0200] rev 43858
simplify code -- there are no lambdas in helpers anyway
Sun, 17 Jul 2011 14:11:35 +0200 added lambda-lifting to Sledgehammer (rough)
blanchet [Sun, 17 Jul 2011 14:11:35 +0200] rev 43857
added lambda-lifting to Sledgehammer (rough)
Sun, 17 Jul 2011 14:11:34 +0200 move more lambda-handling logic to Sledgehammer, from ATP module, for formal dependency reasons
blanchet [Sun, 17 Jul 2011 14:11:34 +0200] rev 43856
move more lambda-handling logic to Sledgehammer, from ATP module, for formal dependency reasons
Sun, 17 Jul 2011 08:45:06 +0200 merged
haftmann [Sun, 17 Jul 2011 08:45:06 +0200] rev 43855
merged
Sat, 16 Jul 2011 22:28:35 +0200 generalized some lemmas
haftmann [Sat, 16 Jul 2011 22:28:35 +0200] rev 43854
generalized some lemmas
Sat, 16 Jul 2011 22:04:02 +0200 consolidated bot and top classes, tuned notation
haftmann [Sat, 16 Jul 2011 22:04:02 +0200] rev 43853
consolidated bot and top classes, tuned notation
Sat, 16 Jul 2011 21:53:50 +0200 tuned notation
haftmann [Sat, 16 Jul 2011 21:53:50 +0200] rev 43852
tuned notation
Sat, 16 Jul 2011 22:17:27 +0200 clarified bash_output_fifo;
wenzelm [Sat, 16 Jul 2011 22:17:27 +0200] rev 43851
clarified bash_output_fifo;
Sat, 16 Jul 2011 20:52:41 +0200 moved bash operations to Isabelle_System (cf. Scala version);
wenzelm [Sat, 16 Jul 2011 20:52:41 +0200] rev 43850
moved bash operations to Isabelle_System (cf. Scala version);
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip