# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c0533f38d2bafb71a27bda1050273b5645b30f02
output_heap: 86b5f9de1565540c352cdad186592d49446e029f
input_heaps:
6c234964d2ce00acad8abea2736235d9c47e1057
c6a0496d6f02ca7c0f07a3d8e8e0eee63df5f538
18a3c5dbdec0ec1e741fccb19894f5e73590adf0
aac63c5e28d6448afdc0a9674b43cc1004bd1316


