From 92ad07b6df000ac43e3a68645b3c741c6dc15098 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 9 Dec 2007 18:09:03 +0000
Subject: New files.

---
 etc/isar/IllegalEscape.thy | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 etc/isar/IllegalEscape.thy

diff --git a/etc/isar/IllegalEscape.thy b/etc/isar/IllegalEscape.thy
new file mode 100644
index 00000000..c1d4fde5
--- /dev/null
+++ b/etc/isar/IllegalEscape.thy
@@ -0,0 +1,7 @@
+(* See http://proofgeneral.inf.ed.ac.uk/trac/ticket/166 *)
+
+theory IllegalEscape imports Main begin
+
+    lemma X: "a=b ==> b=a" by simp -- "Text with \illegal escape sequence"
+
+end 
-- 
cgit v1.2.3