# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: b70fc62dbfb3d5adcd680c32d7b9bea806ed44a1
input_heaps:
94f51dd4e7676acedffe74ec8d2e2647f4dbdd0c
2feb435dc45c22ba19ecfa070808cd954dbee802
abc19200663f461245bbb072515b86a213f74ed1
d92c00087ec5b5534ec4640439135dde423a1d84
920c5640eb2935dc6c2724496ec9ee11adb510a6


