# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
2bdf9273d7d39c435cb32b273036f958d29aa326
388f58efdacd435a5b62ebf415af599de2340ebe
b17df0d6ddb032add7a5fcc12292d4d9a6d35472
f001f559fe003eb2f3650b87e2f7a8668f4643b9
de9ad5fb6b1225577d48a9117d5055d793765ea9


