# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: a3c833b2b149e2d725c7601077b7815cd0ca5d30
uuid: 67bc2e62-c9b0-4813-a6f5-87079c4f03b4
input_heaps:
993eb6fa3b516fdd7b7b2572ecff8a2946f70eb4
81855fd54aebed115a45643a126470a727632716
f41e60420c286d9f824f457ca796f7053aab44e0
84f87d41f39b2a50674715dada74c76aba5d3863
17772e7623a503868f9e45b4d1407e5fcb99d269


