changeset 1264 | 3eb91524b938 |
parent 923 | ff1574a81019 |
child 1475 | 7f5a4cd08209 |
--- a/src/HOL/mono.thy Wed Oct 04 13:01:05 1995 +0100 +++ b/src/HOL/mono.thy Wed Oct 04 13:10:03 1995 +0100 @@ -1,8 +1,8 @@ -(* Title: HOL/mono +(* Title: HOL/mono.thy ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1991 University of Cambridge *) -mono = subset +mono = equalities