# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: dc66ff0e8a81ef910f4db4124dad9ea4620a7731
input_heaps:
685a311797845e45d1e0e94079c226b99532de8d
ecda265f0c10e11be2e8ba52576797c5f2be44b5
b65ab027311c69044c4ea978b04fec953edd36a0
72fa036d0eae04f605be92ed0740d083d168190b
b1ee82a828dcf6cfb056fca527db4296ccf35445


