# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 56d285dd03afc4a4d8723b7f891d6a5a2f9fd861
output_heap: 428eab68fcd908a2d3b1b7c746b7f8f7302b5858
input_heaps:
675319d71f30fe1113ab62adde844862bf61566d
c1333403c22dc8fc0ae4e661507a58bdb1e66a48
c67d762025dc69f6cb9881553885cc12602af392
2fd52271b8945726e853efdc1d1041826a2a0d84


