# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources:
0500ea68734162e2a4cfb0e5560f656718d3ca4d
181424a1a317e84a0deead29eb9e860ac0a9b092
1bc701f8eb6474e542db12a6b783a92904024b2b
2fbb54b601324658c9d20278a9bd89fff8bb7bc3
34221437a109a5594ba7786476b5abb5979a2647
3951c4c5af07fd4fed5d0b5563c77076a06f05e1
3a92ed7b4984fee2454b05699802efdf9b5e745a
3dcf91a101056b97f303a0a607b8222b50ee7c0d
4fca60e691e6baa8823ab45ef7f6d3b83c70723a
82fce86746f9061205d625fb926c1da3b71e3bc1
8a4f925086903f5dd58b1acc951e8aa4068044ad
99b7028eb5c82e14711845a2a2d7ec04a8bac2a7
c4744fec0ad56dcc4391712324a0d2a08be5195f
d590558ac27bd56791168a8179e1e46d592628cd

input_heaps:
680aafe9229ef73c81f6b008c602c3fae9c15e45
03b53026763bfa23a5632c7d7b11d90f7afd0248
0d436f21ded29a1f3f07558aba9e1619f08f735b


