# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: a09cf4f42f89f752365f05aeb10ff75fa96bccc6
output_heap: 5de01ce5a8eaef13aa9a30dc330226811b6fc399
input_heaps:
97d0ac0823a94d13ffe050d721376d08c2de50b1
dbded9b0ff2fe4176c90e87a9433f947f4c46eea
2ea6859f0c3698e134d31479536e423202ff753b
fa5b2a86fef5eaebf8d6ffa0f886cdbe89181dda


