# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 86edc2888170959794c1e0e2b0f65d9e21e411df
input_heaps:
1e21a38563f73ae1e71d122bc805ba19ae3a1e96
44b44dfdf804afe70e094dad95ffb119fe1510fb
7db0bb0deb0c950dc1abdca904e5f40182e62495
0ffdb5cc337373be33e182432061f70a4457436b
538231f6a4f908f83494956d288572f4f06a5eec


