# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 191edfa86dbd1cbc13cd5fb233f7ca396892aeb0
output_heap: 8708eaade6c4a93286e9b09807836e3315713cca
input_heaps:
099484936cdb3aed7d7a3f03a59ffc0f493f1467
4e13f85eb7aaf7c4efab8590b39a15fc642af0d1
10d4c04604b5748af46a2e6273a04978bb12aa75
76f48ef667f0ca361da1baf609ed0d8a40ad6997


