# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources:
0500ea68734162e2a4cfb0e5560f656718d3ca4d
181424a1a317e84a0deead29eb9e860ac0a9b092
1bc701f8eb6474e542db12a6b783a92904024b2b
2fbb54b601324658c9d20278a9bd89fff8bb7bc3
34221437a109a5594ba7786476b5abb5979a2647
3951c4c5af07fd4fed5d0b5563c77076a06f05e1
3dcf91a101056b97f303a0a607b8222b50ee7c0d
82fce86746f9061205d625fb926c1da3b71e3bc1
99b7028eb5c82e14711845a2a2d7ec04a8bac2a7
d590558ac27bd56791168a8179e1e46d592628cd
ea2803e6ad062cad8ab0bf6f40be7356c48a14ad

input_heaps:
3304c3bdba2eafbcbead0ba4914896db182d08fe
a90ec650e12109cd1c67b4e101c18155d18b7861
8a5e5ee34533b599a47dc43ec99444f8ba1070da


