# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: bf275d0e2f35749d82041fbdad270917765717ce
output_heap: ca1576f57e3c5d98657d84f471ee596bf8cfdc95
input_heaps:
7ebc77e06d0e52a3d23b989ac3a5cdf6ba4e38da
173ebb4f87bc782b63cf102fdfc8b061631d5b0f
39e60d5dd3a8625aa5f685558211aaea63c973dc
92acb95f5d952f2d8413cd40e3b7f9c5c419ed5e


