# isabelle_session_info

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

input_heaps:
8a4d67297c0e2ec77e620c6ae4452e9ec6476acc
61168796331c08066a160816a5083e430d7d6ce6
3f4a03a0fc0e719b85d2b75627782ac7b00f4d07


