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