# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 79cffda8d1c7d4fb8035d5f30c12cbac0050409d
input_heaps:
f6e8c467571f6b6fd723f058bfc31d74652304b2
db42b5600cfea4bc64c4d86c908b1b90546d9cd6
336d3bc6cb0ded842777b10b0e56e325079a5a58
70a45a681f2c09b8fdb839a807c09fdda9d30d28
d7f584af154dd892eb4eca5ca89f5d192fadec7f


