# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 89fc483c09a60739f03830a69d30f10503169125
input_heaps:
449a3dde0e28b4460999c1d262ea552ea93aaca9
189db06b3ef2674c38e7597dc4d6e5c65cc93af8
5457aef68375e290f60ebf7493a8bf570400293a
10bb5441dda819a5638b5b2f0081ba8633b71c70
784506d93ca755dbe69cddcfa089950bda50fad2


