# isabelle_session_info

session_name: Algebraic_Numbers
sources: 556931243c4e93ff6f9efdcacb986e04e600e2ac
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
730e744e2b77e519db40d8946e2276fadd5fca44
a7dcb04dddaa1d28aa6ccbf342b392b75ca2f701
be77751848a8dc9a797e7b1e6d7e69149d197ae5
9e3d8023aedbfe43a7cedbe9a7b04e358501122a
4537d09810235e386a3b56ce953533404fa9b5b4
cf8602aa60f079fae6b6b1905b709bd87483e064
25a9ddd496287e6644da12db6ff489cb2ebfdf52
37d4b7ab0ecb51c6485731bb9ba0a83b2a7fcec3
ed20708b7d41a149e175b2da7fd8e062c14dace9


