# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 62155f9878144eb1fa8d22d4e510f5eec318744b
output_heap: 26729d8fa0dff7bce825ceb4e5e601805b312589
input_heaps:
a9b7dcae088578d8605a3e1d84e889eeccefd72f
b4ab1f59b08714a73123cd49dab856a7d2781a8e
a55480721eeca3c9fdf2808db109939f1c898854
3b8ebf58863a3b1dcd1a47c0bcf4ba9ad939e213


