From 41fa5bda05e2674c66e3a94fd609a7a198f0d484 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 1 Sep 2005 20:14:27 +0000
Subject: added lemma;

---
 etc/isar/Unicode.thy | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/etc/isar/Unicode.thy b/etc/isar/Unicode.thy
index 574df9ce..822042f5 100644
--- a/etc/isar/Unicode.thy
+++ b/etc/isar/Unicode.thy
@@ -66,4 +66,7 @@ primrec
   "mispar ש = 300"
   "mispar ת = 400"
 
+lemma "mispar ק + mispar ל + mispar ה = 135"
+  by simp
+
 end
-- 
cgit v1.2.3