# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 991aded766d36333470d2355ed1a3e05270e66d5
output_heap: b5a5b5b293fb601c706c9b12471ef4986f473228
input_heaps:
b32ac976cdb9d7611cecd21164b5d37d166a70f2
7833fe06054d8c848d36bd9abf4e4e615831aef4
2028385119fafb7bac5001679cf939790c300aad
31c2b22aa100e2ce55c25af4a5330302de88166f


