author | wenzelm |
Wed, 17 Mar 1999 13:56:29 +0100 | |
changeset 6387 | 3e98baa348ec |
parent 6386 | e9e8af97f48f |
child 6388 | ab422f554074 |
--- 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)}