# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: dda85e037bacf8cfad36eaa3158778edd6fc49a0
output_heap: 7063d9469bb51263859f97f7ee8e106de2570393
input_heaps:
dbc373532a8de37e9abb2d2b3f29c7d794abd157
76f1b6b9c5508daaae4efe96776d5917ec90f735
21eb7280d14694decc6e9bbbe9fdcd2898c54b3b
4013f8191ae99fb9ad645584120c28e578ea96c6


