# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9b74e9658fa6c10394e2a92b257b2f15c3236e68
output_heap: cc9226c5cb010355cc7917d07d01670eb3e1b7d7
uuid: f1c1e6ea-a378-4129-a9e9-a6f86da9dc52
input_heaps:
0eefffb769267ab447a6b9950a69419f37e1cc3b
72c31a354f92ae40cfe77d1c9a9d10b742549e13
80665f2658fe53539a5683772d98204946a709bc
6c6becca9ca8e44969dad16eeb1ed567020f8e9d


