# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: c87980f4bfcb6020ed850866e2d24a8fb690dc36
input_heaps:
db692ddae81c9b00ee09c2ccbd0bf253d1829313
a61ae159d682d08a86748e488b5545fc9c92026d
dec87339ee5118ce60098092fcdb5a3cb9ecbdb6
5861e6aeacd558ab5a78934474ded42b0191e0cd
d57208afba5748d8991727625cd8d22037844c3d


