# isabelle_session_info

session_name: HOL-Number_Theory
sources: f7936176d5605159d23cbe5f9472ba46e5e2bad1
output_heap: 5fc0a0bcec71bd356e8517ed9df5af2860fc8689
input_heaps:
a11b8ef9095dc18af944c405902a78d4207477ae
5ec3732189714985ad51626bd5423359bc41965e
1466cff712c8315592d942606436cb712e667f87
9f3e677fb86d428478ab7b4789a424447a1271ef


