From 9c4a2d948326b513b1e5696ac65e6caee6d41d72 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Wed, 28 Apr 2021 10:00:12 +0100
Subject: [PATCH] Integrated fxp and ml_yacc_lib.

---
 README.md | 6 ++++++
 ROOT      | 2 ++
 2 files changed, 8 insertions(+)

diff --git a/README.md b/README.md
index 8dd1830..486b3d0 100644
--- a/README.md
+++ b/README.md
@@ -29,6 +29,12 @@ older versions might be available on a dedicated branch.
   command for reflecting generated SML code into Isabelle's ML 
   environment.
 
+* [ml_yacc_lib.thy](ml_yacc_lib.thy) provides Isabelle support for parser 
+  generated by ml-yacc (part of sml/NJ).
+
+* [fxp.thyy](fxp.thyy) provides Isabelle support for The Functional XML
+  Parser (fxp).
+
 ## Authors
 
 Main author: [Achim D. Brucker](http://www.brucker.ch/)
diff --git a/ROOT b/ROOT
index 0ef75f4..c5df8eb 100644
--- a/ROOT
+++ b/ROOT
@@ -5,5 +5,7 @@ session "isabelle-hacks" = "HOL" +
     Hiding_Type_Variables
     Nano_JSON
     Code_Reflection
+    fxp
+    ml_yacc_lib 
   document_files
     root.tex