changeset 40945 | b8703f63bfb2 |
parent 35762 | af3ff2ba4c54 |
child 46822 | 95f1e700b712 |
--- a/src/ZF/IMP/Equiv.thy Fri Dec 03 20:26:57 2010 +0100 +++ b/src/ZF/IMP/Equiv.thy Fri Dec 03 20:38:58 2010 +0100 @@ -1,5 +1,5 @@ (* Title: ZF/IMP/Equiv.thy - Author: Heiko Loetzbeyer and Robert Sandner, TU München + Author: Heiko Loetzbeyer and Robert Sandner, TU München *) header {* Equivalence *}