# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 8c22e472851f566ed50f51b9f91e5b2a4547851e
input_heaps:
c5152c1238c92aaa6e4bbb00396561110d931d3c
a7e1bfad2be6b3a5081ade61eed213d1b2393434
6e9f552ad36d6a6d94a4003649c1fd7e298d25f0
ad7c372544868162112ecebf16f38202595d64c4
11d9c98e8ff65f8a0944228454ab92dc740b46d6


