src/HOL/Import/HOL4Setup.thy
changeset 37146 f652333bbf8e
parent 34208 a7acd6c68d9b
child 41550 efa734d9b221