# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 100cec282f0365239d091c4263aac505a7b8c5b0
input_heaps:
e77a8c941f727dd78064a6a2a8da7e6e62b6a858
77a8a2b072534c761ea7ab04b667dc9f589b0079
07945240fe89136d588ca8f45fb2f0bcd25b094c
c0dedc39b7c93d87ae99a1960043537326ccff5d
d123b13ed42e99b4e8251612bd306988ac9b3a1c


