Oops, part of last commit (ocaml extraction implementation)

diff --git a/matita/matita/lib/preamble.ml b/matita/matita/lib/preamble.ml
new file mode 100644 (file)
index 0000000..e1a25e1
--- /dev/null
+++ b/matita/matita/lib/preamble.ml
@@ -0,0 +1,2 @@
+type __ = Obj.t
+let __ = let rec f _ = Obj.repr f in Obj.repr f