# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 05785fc0df0a36edf51251548546c8de032a3cc1
output_heap: 91691eb6578a654c8cb613d24ab907e937008608
input_heaps:
bae43dd2951a6b8e1263e49c814c4a696de4b0ad
fa7786099e4357d1af728bd041479c3ee700c993
0422ab9fcd909a3369a99b1572da4faa1a9f0d86
9aaefa04d96394188272e6ed4466f1ef1ad765cf


