# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c9159a85fe25d897daca636cce6f1be0291c96b8
output_heap: 1e19ac146a66ff9ac5cb7154043eb615ea232ef2
input_heaps:
cc6d6598ca48f4c3791a98b19dd5cf828358a33f
c32e3c801900c6f94f6ade7ad7b143a3950847be
6f2a0f538ba8b7b23b9cf8347448c34abc17de02
8145fc69d3893a99c7d3677b2eee654aab33ed7e


