changeset 41959 | b460124855b8 |
parent 35762 | af3ff2ba4c54 |
child 55229 | 08f2ebb65078 |
--- a/src/Sequents/LK/Propositional.thy Sun Mar 13 22:24:10 2011 +0100 +++ b/src/Sequents/LK/Propositional.thy Sun Mar 13 22:55:50 2011 +0100 @@ -1,4 +1,4 @@ -(* Title: LK/Propositional.thy +(* Title: Sequents/LK/Propositional.thy Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1992 University of Cambridge *)