# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 43b832af9d59f2ae8b87e1318b3ced6586a32bb7
input_heaps:
82ea62db878002abe1f561b243b2cfa9fc698016
3eb7c68d6e834ba5513637798ddd089d7ebc1253
0bbb80cce0914e272b2dc75eb351ae48ec09b263
2dd32bafbe406e0b35f2388ca047a7d247fea797
bd42d6c87662475573ffbd8c1caa425992f24732


