Fri, 04 Jun 1999 16:17:20 +0200 | wenzelm | added Group.thy; | changeset | files |
Fri, 04 Jun 1999 16:17:10 +0200 | wenzelm | added Isar_examples/Group.thy; | changeset | files |
Fri, 04 Jun 1999 16:16:31 +0200 | wenzelm | Some bits of group theory. Demonstrate calculational proofs. | changeset | files |