# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6c16c66afe0ef318bd4c4d4925373647f3e77d45
output_heap: 4e5c4429a9a543caed4cbe13d8a5e490be32cd5d
uuid: 97a1d2a3-1508-4124-8ffc-35c5035cd5d8
input_heaps:
d71e8b83f911dc6711df0d8e4f64597e847d6e09
23b6e28f27b54d8366ddb98ad7cf08dec46a808a
2636e013e9d0d8bdf68783e1e7e7195b7188d2c3
c3cb8228dc5f170e59c8abef37f4fa2512e6ea1b


