# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 00c5f65210d9ac4f9f20428a156bf1146fb6430b
input_heaps:
e2015e5246e1a7618d650fad22191f33705e8e0c
8a8103e86b35297b75bf7c8f4f146e87c135f0be
ef1ec3ac33915cc58a36561206f873c34cd4f401
c6e260118d02eaf71cd2a8eb0bf4d251d25baf96
5f9b8ad172098a8995e811fc7910bd4356819a3b


