# isabelle_session_info

session_name: HOL-Metis_Examples
sources: bd15173f6ce059874dc1897ba58bcb63410c619b
uuid: 7a1d21c4-d6f9-4f13-8c5d-2ceb32e98f29
input_heaps:
b9d282957aa223601d52f84a817ca607725d2336
c178c9777d16793434d52b0438eb6f86f2c7d3c5
1bc30bca71fe536514610f66fe7694e103782a66


