Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed \<mu> syntax;
authorwenzelm
Thu, 23 Jan 1997 12:55:31 +0100 (1997-01-23)
changeset 2541 70aa00ed3025
parent 2540 ba8311047f18
child 2542 67b66b8a488b
removed \<mu> syntax;
src/HOL/Nat.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Nat.thy	Thu Jan 23 12:42:07 1997 +0100
+++ b/src/HOL/Nat.thy	Thu Jan 23 12:55:31 1997 +0100
@@ -60,11 +60,6 @@
    "2"  == "Suc 1"
   "case p of 0 => a | Suc y => b" == "nat_case a (%y.b) p"
 
-(*
-syntax (symbols)
-
-  "LEAST "	:: [idts, bool] => nat		("(3\\<mu>_./ _)" [0, 10] 10)
-*)
 
 defs
   Zero_def      "0 == Abs_Nat(Zero_Rep)"
isabelle