# isabelle_session_info

session_name: HOL-SET_Protocol
sources: d98ca9212f4c9abe9e52608d3632452453f97705
input_heaps:
632d8c95ad4bd2d68bd3c1d2a41b16c33fd52fdf
ca6f8106185d335e0987e63132ec96cba44ad44f
999dc9fb1a79bc2556ab1fa66a674af162d487f9


