Remove some dead code
authorJoachim Breitner <mail@joachim-breitner.de>
Tue, 27 Jan 2015 09:56:50 +0000 (09:56 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Tue, 27 Jan 2015 09:56:50 +0000 (09:56 +0000)
commit7c76f02209a328354edd24bc83ff59e1007f1bb1
tree430632c406efef589ac14fa9aebfc9164ba9c55f
parent0dd5c0def9617730d4cd60be06d7cd2f3908aa97
Remove some dead code
Launchbury/EtaExpansionSestoft.thy