# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 2b4ccd926aa2e3bd958becadf7f14ffcbdf3f5fa
input_heaps:
1667ce1fcb30adc5ce6fcdb5feb10204550c27ec
e9aae1d42c4adf660df67523aa6bdbf83e56d019
f1d068c99c2f76c530db5071deed5b4eaab1d8f0
3986d1ab32630c2a041f5b03a505055cb1563f32
2cec4d1f0214d237cbd9e156196733bf48125201


