fork for Matita version B

[helm.git] / matitaB / components / binaries / matitaprover / ast.ml

diff --git a/matitaB/components/binaries/matitaprover/ast.ml b/matitaB/components/binaries/matitaprover/ast.ml
new file mode 120000 (symlink)
index 0000000..ddba867
--- /dev/null
+++ b/matitaB/components/binaries/matitaprover/ast.ml
@@ -0,0 +1 @@
+../../tptp_grafite/ast.ml
\ No newline at end of file