isabelle2016-1-realize.drv 206 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1 2 3
(* driver for Isabelle/HOL *)
(* main author: Stefan Berghofer <stefan.berghofer@secunet.com> *)

4 5 6 7 8 9
printer "isabelle-realize"
filename "%t.xml"

transformation "inline_trivial"

import "isabelle-common.gen"