# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 87ac8abcf2a8e84116faec18bb0adfefcb07fd71
output_heap: f77338f49c0b7163447538c15beab6931f5cd907
input_heaps:
bc0597c9f59ed66554e4cc7d1e17fb50ede497e8
14be1ab66264ed0a6d82f8a0963231fd6accee69
c85aa4bd2a6aa92c321b13913268c5235d4cf884
37d22fb55ec44ab188e65123fc29dad38d720772


