--- a/src/HOL/AxClasses/Tutorial/Semigroups.thy Tue Oct 03 18:34:20 2000 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,20 +0,0 @@
-(* Title: HOL/AxClasses/Tutorial/Semigroups.thy
- ID: $Id$
- Author: Markus Wenzel, TU Muenchen
-*)
-
-theory Semigroups = Main:
-
-consts
- times :: "'a => 'a => 'a" (infixl "[*]" 70)
-axclass
- semigroup < "term"
- assoc: "(x [*] y) [*] z = x [*] (y [*] z)"
-
-consts
- plus :: "'a => 'a => 'a" (infixl "[+]" 70)
-axclass
- plus_semigroup < "term"
- assoc: "(x [+] y) [+] z = x [+] (y [+] z)"
-
-end