# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: b272748462b158009ee3a6b84c7fbb88df9760e9
input_heaps:
63b1f4bc87078c4a404d2432b7da6c3c391c20b7
6b5716f4acaac0c8afde2d74e6603ed46b759ac9
f53d2cd4c8fdc28548614d5662a4e9ad718b3759
d4127c0f058c085725001c8159cb0c386e81119e
812b29c4bb5921a3debdff3135055f2a9e7f6f8b


