diff options
Diffstat (limited to 'isabelle-dump/src/calc.l')
| -rw-r--r-- | isabelle-dump/src/calc.l | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/isabelle-dump/src/calc.l b/isabelle-dump/src/calc.l new file mode 100644 index 0000000..2bf98dc --- /dev/null +++ b/isabelle-dump/src/calc.l @@ -0,0 +1,5 @@ +%% +\\ "AOPEN" +< "LT" +<[^\\<>]+> "NAME" +[^<\\][^\\]* "TEXT" |