# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 7d4ac0c7dc118f6664c059c750cfcdfe2b1a95af
input_heaps:
070c97b1fc03a84293ce36f48f7c320c6568d381
25f3cd71b7b9ab5695049d9f645e95d39465f5de
6d6cac042320f3c1e1f5893506dde5d818ef9e84


