From 5288db2205b3a4d919c035a88a81c95a45446002 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 28 Apr 2021 10:11:26 +0100 Subject: [PATCH] Fixed typo. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 486b3d0..6ac1be5 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.thyy](fxp.thyy) provides Isabelle support for The Functional XML +* [fxp.thy](fxp.tyy) provides Isabelle support for The Functional XML Parser (fxp). ## Authors