Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comments;
authorwenzelm
Wed, 10 Jun 1998 12:13:52 +0200
changeset 5025 fc1a2421800f
parent 5024 d42ce3452dea
child 5026 9a67a024f4b8
tuned comments;
src/Pure/theory.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle