| author | Christian Urban <urbanc@in.tum.de> |
| Thu, 19 Apr 2018 13:58:22 +0100 | |
| branch | Nominal2-Isabelle2016-1 |
| changeset 3246 | 66114fa3d2ee |
| parent 3173 | 9876d73adb2b |
| permissions | -rw-r--r-- |
|
3173
9876d73adb2b
Executing Lambda Terms
Cezary Kaliszyk <cezarykaliszyk@gmail.com>
parents:
diff
changeset
|
1 |
(* quick_and_dirty := true; *) |
|
9876d73adb2b
Executing Lambda Terms
Cezary Kaliszyk <cezarykaliszyk@gmail.com>
parents:
diff
changeset
|
2 |
no_document use_thys ["~~/src/HOL/Library/LaTeXsugar", |
|
9876d73adb2b
Executing Lambda Terms
Cezary Kaliszyk <cezarykaliszyk@gmail.com>
parents:
diff
changeset
|
3 |
"Name_Exec", "Lambda_Exec"]; |
|
9876d73adb2b
Executing Lambda Terms
Cezary Kaliszyk <cezarykaliszyk@gmail.com>
parents:
diff
changeset
|
4 |
use_thys ["Paper"]; |