isabelle2016-1.drv 327 Bytes
Newer Older
1 2 3
(* driver for Isabelle/HOL *)
(* main author: Stefan Berghofer <stefan.berghofer@secunet.com> *)

4 5 6 7 8 9 10
printer "isabelle"
filename "%f_%t_%g.xml"

transformation "inline_trivial"
transformation "eliminate_builtin"

import "isabelle-common.gen"
11
import "isabelle-2016-1.gen"
12

13 14

transformation "simplify_trivial_quantification_in_goal"