# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 2032cea799fd1614990a5a9f2f6e067cd4a1501f
uuid: 9d34b0ef-f83c-4da0-94a7-626861e2b092
input_heaps:
ba4d32bd4787a90c8ed747450db046e743778809
00e4c29c03866e48b64ed0938508578e7f44b357
5306384618dcbe43ee573dd52706f4b9bef9df56
91840e94caa6c1f64b13765fc0b014bfc7529ab5
43d88b31c22d93652b99bbbe33a2f77891f143e1


