# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 3ae99028e67ceca4cac9ca9e8fd056a2e32ded4b
input_heaps:
b051f2261d6f88c03646aa313c73a7379e29a659
7633af7870dcf6daa19ba6bd207628594e3663e7
48f356fb57a4f791aa7bacb846a57ecd048f2eb4
46d0efca6fdff227d474ec2f07210db859753612


