# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: ae51c529ec8ddfa7bd55c7f7960ae45d5dcb2c3d
input_heaps:
e0c3be278ab23203661c3c6841cfab21927cd669
15dec5eca7bd6cfbf480be5212e1b8fef38abae0
0a407e09d29f4594f98e8f6e55955ecf6dc5c10a
4be71f1cd06c744e23ef0fd2ee0f4a661b84deea
7155ed09c35bb6e146af49d3ae5a98da4324cfaf


