# isabelle_session_info

session_name: Algebraic_Numbers
sources: 06d9a430d9870b6bd905319a22d11bd44a9ebade
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
730e744e2b77e519db40d8946e2276fadd5fca44
a7dcb04dddaa1d28aa6ccbf342b392b75ca2f701
86e10042889d4e6a328d8dca6b348d544b30c6b4
c504085e8764e444cbdb7082cb5deeae64a3d39e
d30e8773a22e90ad98efb6025b671d696998f30a
c1bc8bff7bca97fd3627f4dad2c79ad3af3f53d4
ba898564d08f3e2d1341900fb02be15af387fc3a
6f5aa58f8a1684fed11c0866dfe43873a948c8ad
ef510a955cc75239a7d97c677e452b0af317fb4b


