# isabelle_session_info

session_name: HOL-IMP
sources: a6203d5606a43948a6934ab0fabfd51bc8b36048
uuid: 6a2a0340-27fb-4b85-a579-ec481e1f9eef
input_heaps:
0801d317611e826e9cf4db1743005797fad2ead3
98042735e6ccb24a3163b6450a8c77d21c48bd86
a9348578a6d3bdcc791bc60012afe9c9048c3b9d


