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.
axclass_tac lost an argument;
authorwenzelm
Wed, 17 Mar 1999 13:56:29 +0100
changeset 6387 3e98baa348ec
parent 6386 e9e8af97f48f
child 6388 ab422f554074
axclass_tac lost an argument;
doc-src/AxClass/axclass.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/AxClass/axclass.tex	Wed Mar 17 13:54:42 1999 +0100
+++ b/doc-src/AxClass/axclass.tex	Wed Mar 17 13:56:29 1999 +0100
@@ -346,7 +346,7 @@
 \out{Level 0}
 \out{OFCLASS(bool, agroup_class)}
 \out{ 1. OFCLASS(bool, agroup_class)}\brk
-by (axclass_tac Xor.thy []);
+by (axclass_tac []);
 \out{Level 1}
 \out{OFCLASS(bool, agroup_class)}
 \out{ 1. !!(x::bool) (y::bool) z::bool. x <*> y <*> z = x <*> (y <*> z)}
isabelle