src/HOLCF/Discrete1.thy

--- a/src/HOLCF/Discrete1.thy	Wed Mar 02 00:54:06 2005 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-(*  Title:      HOLCF/Discrete1.thy
-    ID:         $Id$
-    Author:     Tobias Nipkow
-
-Discrete CPOs.
-*)
-
-Discrete1 = Discrete0 +
-
-instance discr :: (type) po
-  (less_discr_refl,less_discr_trans,less_discr_antisym)
-
-end