# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 63393d1f90a7ecf4714408c325af317fa51d72c7
output_heap: 186326c292a681e83377cf50e62bb61d38011263
input_heaps:
e73c8f63bd95850d065fbfafb34179614f242f89
69a950643537831e45281aa33a261ce80ba0e395
ff25dd5f57deaab00a5a778194aefc56cb158196
2e14d3852c8ad2267947c1553e3e08df7143a4a3


