# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 651dad6c743d4b7c206b7012e30a8f7432bab4e5
output_heap: 27aa3dcf20beb745f15c676490e3d1962157679e
input_heaps:
9884737fddd3e6081253c712523f8ecc142c72ee
a26171661ac87092335660b10885b138f2715297
4635c60c913dcc5f9239b81dba841b472bc64dcd
211525a3c0f8cdfeb130c0cd1cf1f8ab186e6482


