# isabelle_session_info

session_name: Elliptic_Curves_Group_Law
sources: 579b81c92e6b7790692435e6e8d5f1e8a9f4a3cd
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
51bca5798766ae8b6082d8e3253d02652fec4031
a719a564881bc4392379bb5b59a6eabc6cfcf740
0015d5cf47efe9bea1af1cff8dcd1a46b779a178


