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.
Changed interface of inductive.
authorberghofe
Wed, 21 Oct 1998 17:57:02 +0200
changeset 5721 458a67fd5461
parent 5720 ace664b0c978
child 5722 c669e2161b08
Changed interface of inductive.
src/HOL/UNITY/WFair.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/UNITY/WFair.thy	Wed Oct 21 17:55:18 1998 +0200
+++ b/src/HOL/UNITY/WFair.thy	Wed Oct 21 17:57:02 1998 +0200
@@ -36,7 +36,7 @@
     *)
     Union  "(UN A:S. {(A,B)}) : Pow (leadsto F) ==> (Union S, B) : leadsto F"
 
-  monos "[Pow_mono]"
+  monos Pow_mono
isabelle