src/ZF/Coind/MT.thy
author paulson
Mon, 30 Sep 1996 11:10:22 +0200
changeset 2045 ae1030e66745
parent 1155 928a16e02f9f
permissions -rw-r--r--
Removed some dead wood. Transferred lemmas used to prove analz_image_newK to Shared.ML
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1155
928a16e02f9f removed \...\ inside strings
clasohm
parents: 915
diff changeset
     1
MT = ECR