# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 96f9c18b53b574cdd3aeeb5cad9d21c7d66e387e
input_heaps:
dc9a9988939d5185ce4d58109b3c7ffc48063b65
00b3fd39e96e18bf037b747e64925783ae796195
942b85e8b5c86c3021f868955028bb861a0e9a28
5ae8d4567c7b9e81bd38d075a4e2a785236b5294
5faea67cba8562d97d1ce6366a6588050ff5373a


