# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 4d8182da0aa594019f629223cf9dfeca39694710
input_heaps:
2756139cb33ba5e4bd4cc33e5c755793ad6d44ef
87150c565a142fae9a2e19dc263f6b4daa00c26b
958f0ae0fc1cd7ecfc7e8e1ca2ceee22cc61ad96
b15ebe160422e1a90cdcebfc75743d7083bdafc9
48933d85cecabe5ba9504c1fdb547ebd64d47970


