# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 8b2cd298a90e263ae916e9059616133a082e622a
output_heap: a4fd6e524c5c7b7ce5684500325992a7cbc0a5f9
input_heaps:
196a2515706609007ea06d75ec986adb99a8cc65
7115c7e4680b44b378568e77a581f51084272a70
cacca005fed3607af2421e0a493680ce70d74256
c43f782c8f2b7b52ee71c98b80b0457a35449a66


