diff options
| author | stuebinm | 2021-06-23 18:20:26 +0200 |
|---|---|---|
| committer | stuebinm | 2021-06-23 18:20:26 +0200 |
| commit | 4513c6626a34f737482c102825be7c2ca1b43eff (patch) | |
| tree | 9accaa069e11ef9aabf45a3bdcd2dae0ca498833 /isabelle-dump/src/calc.l | |
initial commit
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" |