Commit baf2e36c authored by MARCHE Claude's avatar MARCHE Claude

in progress

parent e540f819
(* driver for Isabelle/HOL *)
(* main author: Stefan Berghofer <> *)
printer "isabelle-realize"
filename "%t.xml"
transformation "inline_trivial"
import "isabelle-common.gen"
import "isabelle-2018.gen"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment