| changeset 16417 | 9bc16273c2d4 |
| parent 15801 | d2f5ca3c048d |
| child 17589 | 58eeffd73be1 |
--- a/src/HOL/Bali/DefiniteAssignment.thy Fri Jun 17 11:35:35 2005 +0200 +++ b/src/HOL/Bali/DefiniteAssignment.thy Fri Jun 17 16:12:49 2005 +0200 @@ -1,6 +1,6 @@ header {* Definite Assignment *} -theory DefiniteAssignment = WellType: +theory DefiniteAssignment imports WellType begin text {* Definite Assignment Analysis (cf. 16)