adbrucker
/
isabelle-hacks
1
0
フォーク 0
コード イシュー プルリクエスト リリース Wiki アクティビティ

Fixed typo.

このコミットが含まれているのは:
Achim D. Brucker 2021-04-28 10:15:19 +01:00
親 5288db2205
コミット 961f906944
1個のファイルの変更、1行の追加、1行の削除
統計情報を表示 Patchファイルをダウンロード Diffファイルをダウンロード すべてのファイルを展開 すべてのファイルを折り畳む

2
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