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.
parent should be Main
authorpaulson
Fri, 14 Jul 2000 13:57:00 +0200
changeset 9334 f0c2b71db81b
parent 9333 5cacc383157a
child 9335 5d9f02e75569
parent should be Main
src/ZF/Resid/Redex.thy file | annotate | diff | comparison | revisions 
--- a/src/ZF/Resid/Redex.thy	Fri Jul 14 13:39:03 2000 +0200
+++ b/src/ZF/Resid/Redex.thy	Fri Jul 14 13:57:00 2000 +0200
@@ -5,7 +5,7 @@
     Logic Image: ZF
 *)
 
-Redex = Datatype +
+Redex = Main +
 consts
   redexes     :: i
isabelle