# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 31b0ca8e369ff87919a13e50c047be7aafc716f1
output_heap: 9c64a8fc3196febf0e2875ada9107f04670b8ae5
input_heaps:
904467ccdfc347b5bee6ef036ef0dfed0d85bd29
b0460f12284c10e5929b92b4ac141578669c1ff6
9f975acad972b699f03fe810ec4b42636972fe41
e7d2699b6a515417f8ddc758150f06626055bc7b


