# HG changeset patch
# User wenzelm
# Date 897473632 -7200
# Node ID fc1a2421800f5f1b125395b74a54805a9b67470e
# Parent  d42ce3452dea8162454703248c6103410a151736
tuned comments;

diff -r d42ce3452dea -r fc1a2421800f src/Pure/theory.ML
--- a/src/Pure/theory.ML	Wed Jun 10 12:00:51 1998 +0200
+++ b/src/Pure/theory.ML	Wed Jun 10 12:13:52 1998 +0200
@@ -3,10 +3,9 @@
     Author:     Lawrence C Paulson and Markus Wenzel
     Copyright   1996  University of Cambridge
 
-Theories.
+The abstract type "theory" of theories.
 *)
 
-(*this part made pervasive*)
 signature BASIC_THEORY =
 sig
   type theory