# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: a592a7ca0eecbf9fd4c93c5283dc0ef1c63ddecc
input_heaps:
bdf52547a2d1ec5238d42ba24f34b6bd872981ed
01b1e75e676722d36b9f9cab162375221e47186f
c128e8d6815c9d720565eaaf5a73133942d71ee7
e36ad7716b9aa538926a95651d819afbcebfcf06
372bac3c4b5c60a012f88b551982b662938d967b


