# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 385bc6c342525987ae4232b1cef756b5ec2511f9
input_heaps:
ca1a0b1d4f8c730bb749d2feb20167ff4ff70290
beba8c6737cbaf995eb11ce9f749e82ea384bdc6
1f30a9a64c9283b7c593b6eda580407289014275
f8d37148fb156ad61bd14ececfe43e1ad79bd2ab
16ea3a7791da5c01f5bc97bc1e31bcc5593f122e


