# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 37d3ba629a4970359819edf94f679f1c0df1e353
output_heap: 4f604a518061a340eaf961fa8c99c2d4dcf469a6
input_heaps:
88012d37539d18f74cb8b5735460e837dfca88ef
29f0fc07a4a3b14ae9f2f6c9593066cdb6e88d48
12a29680371b3f619710ef1c88d5a00c04ec2ab1
83c0c95d7363e78af7abccd47a4dc37ade9134af


