# isabelle_session_info

session_name: HOL-Metis_Examples
sources: bc2d9a614b23d6a3dfea04422813ea26788dad4d
input_heaps:
c5db3dab9e6bfb790b454ae78a070e672f73382d
0419e68326a7717df44289dfaee028b00cf0bb57
ddfd458c78a066c1a3580336b37bb2f3c117e3dd


