# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 89fc483c09a60739f03830a69d30f10503169125
input_heaps:
badff2eb78ec951e0416488ed93765ea7e7b8753
75443fb8de963b2ed9e7c9f1ae11bed5ca867354
c1502b336049c22f24ab6bfc0f88f963e08292d5
33ee1c881c6d2716efb4d3987f91cc405a0b1322
e8d11029267f990a888e205fe1f4a6c5614220f0


