# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: fbfc6ff586db663c51f1560c56394af23166a5e8
output_heap: 4e59c656afc0a3a31a021c9bdc0060d0ca1d0c0d
input_heaps:
cd0e912ed62b565f923447ac15920f01cf16e661
978022e567c2431ebcf49bd9b03799e8cb79c960
f5f718b6bb1e63faebd1e5912d0605474f7dccc4
8cb09fcd1e7e93ed0d8abf4b9d1a7404495ff178


