From 4513c6626a34f737482c102825be7c2ca1b43eff Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Wed, 23 Jun 2021 18:20:26 +0200
Subject: initial commit

---
 isabelle-dump/src/calc.l | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 isabelle-dump/src/calc.l

(limited to 'isabelle-dump/src/calc.l')

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"
-- 
cgit v1.2.3