# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 0854fe58d8f994c334ba9c707976319b73b94ba0
uuid: 5b629570-d590-4878-ad49-a6222fb8ec4e
input_heaps:
82ad92dc0dba9d95491b69387d189df653d2761e
1530d97ea51c361acf764a2ef5e711409abf7a87
d43081aa673ccdf53d10d7c27ed9961c48a58124
6a619aaa1be2acf7fe2db5452f4e18cbeb279303
640ee2e53545fac07b0a80634de576852e8ff66a


