# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
cca662e2875dd6ea0399657d5a21044191c164f1
498f798a27d059032973967fb393af501c0e0d14
2217e817245a6049f52772708e698ee8afe42e1f
aaa110085caceb92f2a5bcc0b28f6ad3652e7f02
624ca8ff54f3432c0a3463b1062fbda29148c8f7


