# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: ce8905067b4a50946a5b13dda533942b3ac8a17e
input_heaps:
71091afed7a8a197c38e4fd92b1ce9b0f5e17eea
e548908dbfe907487adcfaa9280f64113ab5bbbf
e309b151f883e560703ae0dee61d5fde8b66cfb0
a05023136bc45ce9fe81dd6c3494f14e86f534f3


