# isabelle_session_info

session_name: Algebraic_Numbers
sources: a1f76e6da22f4061b095c9b1673da26747cbe4a4
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
f04b6a6c33ad0f2bac00ec27566d13b96a6832d3
5823237499f8a3215557a28ba1b272a2c1cc4d7f
a5c4c930381cab770b40305346f1cacb915adf26
8f2bf0fd81e7408cf29dfc8e710165e6be475950
547715a9f3752617bba5a38028f98a6f1479f6ac
fc209a100bbbc01c8403780d4dfc298a0fb657a0
0dcdad9819799c1ed4c5cbb9b01aa3bb7047b0f5
7a9e9f3325d9b793bb3995ccf6f768d0daeaefa0


