# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: ea208271caada6bb1a89ab343dbf1a0ff3198282
input_heaps:
a69674c8d285a16947cfaf2d0c58d9bbaf43e7b4
d4ac11b89633f5f35324f09d3693a08f432f695c
0d5058b63e620660e39649ff52fb991ef934eb97
f78c82d8ec602245b0df9d659b20cdb6f1e96ad1
000fe766c2e7b80d7cd72969e9630e0e3585a070


