# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: eed9f3ef62035997130e41aa72e170d0abe1caf6
uuid: ef0c5af5-09f7-4019-8e08-0f2424f0b1ae
input_heaps:
89c875fbbb5d9d0e7d7830b39525c64c1be448af
34b353047794b0c2d571f202ffd31b8d97313401
94f7f303608dd27309930b956962f22c22ff3ebb
70097e731790c8093f15680446addab8f80dfe04
63e3e67e63a03f1306c699827a51bc82519c54a6


