# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources:
0f83e9379368d232af1423c3a9685e6e1cf74f88
34221437a109a5594ba7786476b5abb5979a2647
3951c4c5af07fd4fed5d0b5563c77076a06f05e1
4fca60e691e6baa8823ab45ef7f6d3b83c70723a
767b848e899bf51172cfcafea6b2fd397e8b0312
82fce86746f9061205d625fb926c1da3b71e3bc1
9fdd6598fd9cdae3d4d6db0633a3b26edf735651
a6d881014016ac510413e96c94577bf126ea335f
a983b7dacbcbeca7f189237577759f4195807224
b1414c3ca7d741dc9c3828d873306f24e6963539
ea17de108211b9f769daf4c9290a9c35bb12b749

input_heaps:
014fdf73a0b928fde39c061b3b448884e65fa152
f4f811683dcda440eaf96bee8739ce28e3523afa
ad879c17ed5628b00686bedad3b28d9b2de5c3c7


