# isabelle_session_info

session_name: HOLCF-FOCUS
sources: 51fa070aff9106f19f88a81f6c99b201100cfce9
input_heaps:
e73c8f63bd95850d065fbfafb34179614f242f89
69a950643537831e45281aa33a261ce80ba0e395
a8683b49d0a737024276829dd10dc9c3bf88e676
024d962e52b96138c98127717c94c2bf27caa28d


