# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 773d369a39e8daacb0e134fde078c2c83ad69b18
input_heaps:
a7e1bbd16329c1f97a9de9d6266928053862babd
ea2cfc597a0179042ded7c822c8c5398bd1438e5
c98063d164e97992b50c13b7f886d7d25373cc15
c65b9cde6d762214e41e790e91fd512ba7c4aa81
bf47adbde1ab7f8b547686c3aa26964493ba2990


