# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 334fa2e55dfb6da7195812db16f29243be279c80
input_heaps:
3c696140ba4d112cb2fa7995799bd7524ef2249f
eff07190d0e5c4290c6a8881892fd85251ecd2a3
98071886d2c59ed4168fea05884a3d2fd8970774
a8df9bf17477423ff0ad1eb0291533975a4b3726
1c23d270f6569ef3bf7a126198752d16eec20798


