# isabelle_session_info

session_name: Isar_Ref
sources: bbe46489728709d582b0e9da4fb3f44140d575b2
input_heaps:
71091afed7a8a197c38e4fd92b1ce9b0f5e17eea
e548908dbfe907487adcfaa9280f64113ab5bbbf
e309b151f883e560703ae0dee61d5fde8b66cfb0


