# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 30480b125ea803858a552e4e4ab762fa4867ab50
output_heap: 2e5c293ed768a0711d1a2db0e8773b9f5bda1ff5
input_heaps:
d716f8fb9fa43b4b247aa7bc0e733655554f6562
aee1e61aec33c94e0aab6c04b583c2e618770fb8
dbf1736a9f6d1afdc0669ab8168d431980b42cfe
ac6b7cd6e54dc956d2c3b3a17953efae48cc97ff


