# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 74ac56709756703ead296132acaa8e2f888299e1
input_heaps:
bb2bfbd9c0379d824a446c61f99c1626944f30d7
f7a88690ac83cbb309b07310244294010daddb5c
f32ff816bb533afa52f6ced467d3853e70a6c25e
4568e734f2ac9689fe1e61be109e82bf3e8e5045
b83b8033ad4d20375f5fa02a5d40f307cda4537f


