# isabelle_session_info

session_name: HOL-Algebra
sources: 6c495a6dc6cc68014c63cbc392f6d6fd75bd7f1b
output_heap: 0647a13f3734f81c8ecb342de43135b42f11e464
input_heaps:
ebe1e700d1ea7c31a82b493fe8285299f0402806
6870c15ecc01bf16aa8d754cd67c6996a7d04f84
2979c501e997637321ee59ab2744f9c8d6aed583
4dad8855de4c96c9e0ffaf58262caf7736a87001


