changeset 59720 | f893472fff31 |
parent 56451 | 856492b0f755 |
child 66453 | cc19f7ca2ed6 |
--- a/src/Doc/Logics_ZF/If.thy Mon Mar 16 16:26:33 2015 +0100 +++ b/src/Doc/Logics_ZF/If.thy Mon Mar 16 16:59:59 2015 +0100 @@ -1,4 +1,4 @@ -(* Title: Doc/ZF/If.thy +(* Title: Doc/Logics_ZF/If.thy Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1991 University of Cambridge