src/HOL/Import/HOL4Setup.thy
changeset 40815 6e2d17cc0d1d
parent 34208 a7acd6c68d9b
child 41550 efa734d9b221