Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/ex/Mutil.thy
changeset 1789 aade046ec6d5
parent 1684 3eaf3ab53082
child 1824 44254696843a 
--- a/src/HOL/ex/Mutil.thy	Thu Jun 06 13:13:18 1996 +0200
+++ b/src/HOL/ex/Mutil.thy	Thu Jun 06 14:39:44 1996 +0200
@@ -15,7 +15,7 @@
   below   :: nat => nat set
   evnodd  :: "[(nat*nat)set, nat] => (nat*nat)set"
 
-inductive "domino"
+inductive domino
   intrs
     horiz  "{(i, j), (i, Suc j)} : domino"
     vertl  "{(i, j), (Suc i, j)} : domino"
isabelle