# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 32cc2dca26e62c83d7a623dec660e7c60d4eb68b
input_heaps:
9cd3c53d80170445c84eedf6dd4ed5c742828d4c
1b7644e4ef7c7bda7fb3cf22b79d9258a3aaba9f
40c085545166b0208638b4543edc0e83878ec9ff
e35b725dbc0798605a24c9ab4a2a03d6991dac81
da066b64f84e9af117d62a33a1dc36a02dab9c95


