# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 2340f7588a4c3dd9eadb58344a3f8380d8c3daa5
uuid: 8209a84e-7a62-410a-aeb5-282b4d9902b0
input_heaps:
5a3d596cb142bc9ec2bbea424b46d595ada8722a
3241c15793168d7f0f42cba193ff3c1c8c4e074a
b3d617fcb6a58181993d1fdc0a209a9d55e68274


