# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 983ed31c3561796d59e38e5be30a51b9e7b1d095
output_heap: 0a34229c0248ac27dc6e3410878478d8a97c842c
input_heaps:
e8fcc2dd5748fd19698324fa0db3df7190e3b460
ffd61dc8764cdbb3f006c9e006d2be197a9fcd5a
e2c0274abb44d0efba2bf88a875953b3c1f5eb6f
d67bd7da08cf639b9109e8811f7683781b9fc60b


