# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: fa0bf429cf0b62495825ee557994420c18ca4067
uuid: 6d413924-1540-4736-879b-d7ef708641a9
input_heaps:
0801d317611e826e9cf4db1743005797fad2ead3
98042735e6ccb24a3163b6450a8c77d21c48bd86
a9348578a6d3bdcc791bc60012afe9c9048c3b9d
1cb45336aa3f0257f6e6e8e30b63d034340ae5df
befc4374c3cdbd686a4e19bfda7e15cf74173ef0


