# isabelle_session_info

session_name: Algebraic_Numbers
sources: 68114b7c1923de079c0b8aa2db7482bb8ec2af98
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
dd820facb07e73b2c93e51e4d0b3041a08b59568
f6058b8b17c98ebd707ef216357bee44fcaa8403
ac9adae6b4816d95ffdc9337109dbec3aa8b2fac
e66e4e93b356ed170679d69d2b51f8f86a9a83b7
a8c401f78c0204a4078eb13c7e001bafa8802bda
6ec1834f380b18b57cc1e1fff0b6ae0e5e1804fe
68fcccb77fdd88a589aa3bf0a70f7059f5afac21
81a26f86c907bc3c6306ae65fdb2337029780ecd
489902ece6c70135fdd7b3777d4bd89f0f8228af


