# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 8e146a994a9c650fc47edd8ad1d50fed446c49f5
input_heaps:
357008b0b2682019b352f15558029e5fdc78e3cf
6ed366e7eed5721240602f54453f44d2f0e04ea4
52f61a365cdb0bcf46a3239eb16f67f805f07d53
709acc9b80d0e925f958673fd5a478c266c3c20b
1f119155c1f21cededc50a16ec477355407e7485


