# isabelle_session_info

session_name: HOL-Number_Theory
sources: 5cca66f8bcd82ee1415b0f50757036f6a59ee12d
output_heap: ed17a1f0ede7c2c2ff2aae244ee9393bed011640
input_heaps:
f9ffe87081e62dc90c1b84dded3796bf70f05c5b
21f89be667256b1351681022a3ea53b9f18d7259
fae9bb6e6bb3f5afe99b00d88403524421bf6694
5b6f87124cb69183d7b6ee470a12d551d4b500aa


