# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: d7d00f07c91322997fc6c2ba3250f23c7566779d
input_heaps:
1b9d791c9837b33e4a03e5886fe2246de351b574
478d747829b3e0420f00bb750e519db44f764c62
640afc322e9bdef9d742a1f88c32302153377004
b6a7c971a471083f033cde7fdd77d2ea4b888364
0898fa9fa04303e7d6c0f7fd8e022e13aa175f75


