# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 5804b2f038d9f92ce967edadfc55dd8759955822
input_heaps:
710b8413f68701024af4b7f96ffa488ef0904ab3
194def0058612d37342f6a74606292df667c62c5
e4bcfdd503a0de6d3420d8d5c6ef49e3ace7bc98
8341e14d1f91214604b7cfdfdfadfced417e6aa4
11906044a0351aa3b85c9979c84ab6de5c1e169d


