# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: b46f13fab3784747bdbe6d5034a080f2c90c7d94
input_heaps:
07237e2b3ade8f359663183ef1c4fdf52bd9e545
2b4ca8350fd83b5b43b9dadb5f9e51dc7c3598b3
297af583c2eebf38f8efc927b3141ec956b0c1a2
d962c2adb5a3fb2080068476497d3f6fc8a21236
1968f66a70117ad6d6cb6a7a67e6f0b070345a72


