Nominal/Ex/Exec/ROOT.ML
author Christian Urban <urbanc@in.tum.de>
Thu, 19 Apr 2018 13:57:17 +0100
changeset 3245 017e33849f4d
parent 3173 9876d73adb2b
permissions -rw-r--r--
updated to Isabelle 2016-1

(* quick_and_dirty := true; *)
no_document use_thys ["~~/src/HOL/Library/LaTeXsugar",
                      "Name_Exec", "Lambda_Exec"];
use_thys ["Paper"];