# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: f992a5da3c4015e993fb165ce98c8f9e22ff547c
input_heaps:
38c951d9fd14e9e40ee7e0e1341b1730469e572d
21de88f4fc30aad8e5a02ae7480f072f8599a03f
c28ddcc6da1a140e9b978c8c816c82ac157f7d4f
0e206046a1f7bc2a833a67958dd8766fd9b1d4b8
154001d31be80285cf35d09da1c7c034838ae107


