# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 2ce2ad3623f9e3110e52f8535441504decc3c417
input_heaps:
ed6caa966bb75077c120e012673453f69d500802
269c54a80d587c3b365ca98028240e5f8391db0a
777cf8dd54e76baf8f45a139697e479ae8b5c1b1
35a31e0123299e9d3cf64f85b842c2f90dc09c7c
84f8967d5aeb7b6d494ce83885c444768f78e05a


