# isabelle_session_info

session_name: Algebraic_Numbers
sources: 45f0d8307a369ab60258bfe39694aa51da5f6bdd
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
17d03261cfa6b3f7a3b00fc6599df4c0af151fd9
4074a4e09bd0fd3fc9fcde79e3b01acb31f0e567
f54c6022dd8dc9ab421ac6fab4faafe4af3a38a1
6ad14732f2474f9b908768bd6ad8efeb82effc0e
8252d8f9cc60b28116399f523ade5f63eb7be1a4
7bb15d8e5f650f9ed203d66fc2e88340c6c104e4
c9091c96a3a758d5ec9c7bd5ec07f58915c29514
3a3616d6ec9c0d158f2662302f15b43c04b42deb


