Browse Source

Integrated fxp and ml_yacc_lib.

master
Achim D. Brucker 2 weeks ago
parent
commit
9c4a2d9483
2 changed files with 8 additions and 0 deletions
  1. +6
    -0
      README.md
  2. +2
    -0
      ROOT

+ 6
- 0
README.md View File

@@ -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/)


+ 2
- 0
ROOT View File

@@ -5,5 +5,7 @@ session "isabelle-hacks" = "HOL" +
Hiding_Type_Variables
Nano_JSON
Code_Reflection
fxp
ml_yacc_lib
document_files
root.tex

Loading…
Cancel
Save