From 961f906944f99f81cfc15462d4183c5cd244d618 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 28 Apr 2021 10:15:19 +0100 Subject: [PATCH] Fixed typo. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 6ac1be5..e1a0659 100644 --- a/README.md +++ b/README.md @@ -32,7 +32,7 @@ older versions might be available on a dedicated branch. * [ml_yacc_lib.thy](ml_yacc_lib.thy) provides Isabelle support for parser generated by ml-yacc (part of sml/NJ). -* [fxp.thy](fxp.tyy) provides Isabelle support for The Functional XML +* [fxp.thy](fxp.thy) provides Isabelle support for The Functional XML Parser (fxp). ## Authors