Fix indentation
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 19 Dec 2014 13:57:59 +0000 (13:57 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 19 Dec 2014 13:57:59 +0000 (13:57 +0000)
commit7ae55e32e907139ba0d4cf624de22a4c3226567a
tree22c30d383d86949dcf5308ba0c8ef9248bee8a2a
parentf8c793871fe828c1dbb9b63a8c64159457f55601
Fix indentation
Launchbury/CardinalityEtaExpand.thy