# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 99d197539e7688d2f85318da98500f11cc8df740
input_heaps:
3ec2aed6e56052c24ce5cac914b0579704df917b
463e1b5d04f25a3da6ccab4b394f1a960d47251b
b75140eaddb22ffd906dee0374b7b79ced3a3e38
97d1408f056a36a863614e4c0dd4b25a6a73f760
b42bf632b32a6ff11738477cc65a8f9d15ddae58


