# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: f95aa9761275a5a74c9d5cb368fadc4a00b9ab2d
input_heaps:
c8cd0d03d02b56334ebcf7a76009d91abccf01c1
416d79e8a8c5a5d5f5d0347ba78ae6f7d314a26a
5b761946a9b1df2af2b953ba7126c451a913920a
e8803ac3df7303d4b60a557b6f4ac3cdccda8d67
590a382083a54255ee82bf7e059d7e108bbe5281


