# isabelle_session_info

session_name: HOL-SET_Protocol
sources: 854b84b8f6c3278c67e7e169429ea4388c5c2eb5
input_heaps:
77f3e6117d8d9e81a63ec2f1d36765fb9761e63d
d8b455c84836a9b5f1a1b8503c9c0539652a6ddb
a4727a8fa9432637f8e3b924d78e177813bb53e6


