# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 814f345d65b1f0badd76af338b7787bc34d03e9d
input_heaps:
c27ff9c451f4b8c9cf6bb3a25c925fd9b57a5bdd
18dc0053a95521338aadd53e3b70138a41dcf298
fc813ebace75fc1e73b91a6d672f5de298c77682
8a7bc940b03eb75500e0e62f5899244d9b88ec07
6fd3335e928e84ac2398e63e6615d305f70671dd


