# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 3f92761e442fcb5972f991a138b9db1b8edaf18e
output_heap: 25c0ca1a556c325e45569e2f8e36f99c37c5be10
uuid: 2ab90ff4-c188-40f8-b5aa-5f58a03d8e82
input_heaps:
4348ecd95d08b83381d65d778dc99414fdfeb2c2
a77f4df9e49ab5de749eea6768f2c7722537ebe4
9309a27732761fe284cdbbd5c45863a9dfc6c5c6
c36259b2c296375ae504aa6116e85200baee05ff


