blanchet [Sun, 17 Jul 2011 14:11:35 +0200] rev 43857
added lambda-lifting to Sledgehammer (rough)
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
haftmann [Sun, 17 Jul 2011 08:45:06 +0200] rev 43855
merged
haftmann [Sat, 16 Jul 2011 22:28:35 +0200] rev 43854
generalized some lemmas
haftmann [Sat, 16 Jul 2011 22:04:02 +0200] rev 43853
consolidated bot and top classes, tuned notation
haftmann [Sat, 16 Jul 2011 21:53:50 +0200] rev 43852
tuned notation
wenzelm [Sat, 16 Jul 2011 22:17:27 +0200] rev 43851
clarified bash_output_fifo;
wenzelm [Sat, 16 Jul 2011 20:52:41 +0200] rev 43850
moved bash operations to Isabelle_System (cf. Scala version);
wenzelm [Sat, 16 Jul 2011 20:14:58 +0200] rev 43849
access to process output stream via auxiliary fifo;
wenzelm [Sat, 16 Jul 2011 18:41:35 +0200] rev 43848
some file and directory operations;