# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: a153cee5bb76dcb0f164152dedf41ffa0c569637
output_heap: 24aafecc443846e1e663b98d26d1984b78e60270
input_heaps:
e61d7bad19c83358620faa4245e89410bb30de9a
c410e6eaade7b07b89b00f412d8d8aa51c2217ba
812e0be2315e9890b34946224758ca1e383dfadd
66078cbcb4eec1701a8d5e82549eceecfae4b9b6


