# isabelle_session_info

session_name: HOL-Corec_Examples
sources: db9043a44650a6471942524149e415a841fbab89
uuid: 7ed930dc-8ad3-4a18-ab81-a6f6e4421592
input_heaps:
89c875fbbb5d9d0e7d7830b39525c64c1be448af
34b353047794b0c2d571f202ffd31b8d97313401
94f7f303608dd27309930b956962f22c22ff3ebb


