author | wenzelm |
Sun, 29 Nov 1998 13:16:47 +0100 | |
changeset 5989 | 9670dae0143d |
parent 5853 | 36b5559d8224 |
child 7705 | 222b715b5d24 |
permissions | -rw-r--r-- |
1475 | 1 |
(* Title: HOL/subset.thy |
923 | 2 |
ID: $Id$ |
1475 | 3 |
Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
923 | 4 |
Copyright 1994 University of Cambridge |
5 |
*) |
|
6 |
||
5853
36b5559d8224
no longer loads Fun so that the Fun proofs can use equalities.thy
paulson
parents:
1475
diff
changeset
|
7 |
subset = Set |