# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources:
0f83e9379368d232af1423c3a9685e6e1cf74f88
15d499d9d53901448c343121b1214f2252f3f203
34221437a109a5594ba7786476b5abb5979a2647
74c7b3b9fc805b37404841e74148b8988e671d65
767b848e899bf51172cfcafea6b2fd397e8b0312
82fce86746f9061205d625fb926c1da3b71e3bc1
9fdd6598fd9cdae3d4d6db0633a3b26edf735651
a6d881014016ac510413e96c94577bf126ea335f
b13dd8b0a61ff4eeb472eb64955354eb9fe30f3b
ba3b3a5730257d7f4916bd70913829a914ccdf7a
d960ed51846a66cf16fbdc1477880036171d60f8

input_heaps:
40a6228891797c17fa31e571c913021c7c787477
38ccfe9e472c45d1c011603729384e3a62940f93
f7e88345b8e4147e8e7228b5f944f465226bb17b


