Stars1233
diff --git a/‎Archive.lean‎
Lines changed: 1 addition & 0 deletions b/‎Archive.lean‎
Lines changed: 1 addition & 0 deletions
@@ -1,3 +1,4 @@
+import Archive.Arithcc
 import Archive.Examples.PropEncodable
 import Archive.Imo.Imo1959Q1
 import Archive.Imo.Imo1960Q1
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+import Archive.Arithcc`
`1`	`2`	`import Archive.Examples.PropEncodable`
`2`	`3`	`import Archive.Imo.Imo1959Q1`
`3`	`4`	`import Archive.Imo.Imo1960Q1`