# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: fbf5019c0bb6720b48eb7fef0871ef7b3f94c822
input_heaps:
a3d176741bae82c9dc513b9f3c009dc5dcba212c
631fbaef9289fd3b1f302dd3ed834db22ed304c2
b5397f7851d208b33eae43fa158851cfd5f80553
b81f47633ac2db5b7d5493a1fdf1e3ba04ff7979
dc1d1a7a140c68279d70e27c85fb2500674fd2c7


