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