| Sun, 17 Jul 2011 14:11:35 +0200 |
blanchet |
simplify code -- there are no lambdas in helpers anyway
|
changeset |
files
|
| Sun, 17 Jul 2011 14:11:35 +0200 |
blanchet |
added lambda-lifting to Sledgehammer (rough)
|
changeset |
files
|
| Sun, 17 Jul 2011 14:11:34 +0200 |
blanchet |
move more lambda-handling logic to Sledgehammer, from ATP module, for formal dependency reasons
|
changeset |
files
|
| Sun, 17 Jul 2011 08:45:06 +0200 |
haftmann |
merged
|
changeset |
files
|
| Sat, 16 Jul 2011 22:28:35 +0200 |
haftmann |
generalized some lemmas
|
changeset |
files
|
| Sat, 16 Jul 2011 22:04:02 +0200 |
haftmann |
consolidated bot and top classes, tuned notation
|
changeset |
files
|
| Sat, 16 Jul 2011 21:53:50 +0200 |
haftmann |
tuned notation
|
changeset |
files
|
| Sat, 16 Jul 2011 22:17:27 +0200 |
wenzelm |
clarified bash_output_fifo;
|
changeset |
files
|
| Sat, 16 Jul 2011 20:52:41 +0200 |
wenzelm |
moved bash operations to Isabelle_System (cf. Scala version);
|
changeset |
files
|
| Sat, 16 Jul 2011 20:14:58 +0200 |
wenzelm |
access to process output stream via auxiliary fifo;
|
changeset |
files
|
| Sat, 16 Jul 2011 18:41:35 +0200 |
wenzelm |
some file and directory operations;
|
changeset |
files
|
| Sat, 16 Jul 2011 18:20:02 +0200 |
wenzelm |
more general bash_process, which allows to terminate background processes as well;
|
changeset |
files
|