# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 193057ac13f7ed95b07792e971320790cdf6f73d
output_heap: 078c820ef41537bb4fb53f7ffcae79a4ded475eb
input_heaps:
af8291bc72d0c9bbf3c9bf1cd136a1b239d7b784
80b9f459bb77be29d11264f6792db6231dbbd49d
c7d9dd643866e1652594c7f40fbcd991b4cb63c2
457babfcd63257a79c0305df854683721aee29b1


