| changeset 6387 | 3e98baa348ec |
| parent 6170 | 9a59cf8ae9b5 |
| child 6623 | 021728c71030 |
--- 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)}