# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 42306247438d8eaded54d77e48a4d847eed5ae99
input_heaps:
dd6687a512096fbd242a18d446c4b55d3f2372f6
a7edc0dfd0db9e0ca7cd3388f7504d2b7e824607
5c678e4a838ff829b19b28b6ec73b6a65cad2c18
49d5316b23cf5ede49fe3042c9a703029d640242
5d87aaaf3c84389ac42c4e0fb33af5eaf26eded1


