# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: f543dfd122c1c7dcd917ade233886bc94a924f44
input_heaps:
02c004c6c9aafa82f15da682e96a689a5860ebc7
eaef017979241d0dca2626b9e34da89976cc0785
d5af628330df81ec4ba77291b4eecc5004486b6e
fcca1888fb12d6a6fe01feefa1b7913aa87a7901
be1bd162c578356b075f9c81ed866de34eefb3b1


