# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 00c883f5ba923c50c452f96064a8a9ac25595cf3
output_heap: 1255e39adcfe09606bb0e2c4b24576a5305e95c1
input_heaps:
8e59201648d7aa8ce728c4e17f1d57ee228b2810
f7012f5768972a97f450bfd6400e324efa13b311
b74d2d4d9b8a39e7ba82f727470a80d5266f6242
b63231d291310e177660a235ff7e3157fb884e5d


