# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9e6efe9bfabe6273dfd90921fe91bf2143091b96
output_heap: 13c92e5fc8b2e5e458064e034e50c2e6fa986776
input_heaps:
5c2e68da34e0be81d09bd6288ca8dae0b78aa71c
82612f1498e7c9bb1a1152f7158cfbdc7a6da82a
3bfa6b63ae4d31eeb46558c0fc8f07e65681a4ea
6baba4d7f9746d5f25d0318f950e35840a3a2e55


