# isabelle_session_info

session_name: HOL-Algebra
sources: f03aa4b07293d61d2e4374ce6642be7af51892fc
output_heap: 00716ce1309b1d1191f1d8db9c7d0d3fd0bbc357
uuid: 5aeeee12-5993-4624-887d-c93c152afd27
input_heaps:
ee1695b43a8fe77536cccfe86ad7014a312d9166
7a95e250afebdd7d8092dfd99109def1a56b2f6c
a71e2f09edbee60409337b839d416122dea3b915
0f29a6d64af62cae9d8d38651f141bc9dd3431ee


