Merge pull request #26 from dranov/bump-v4.11.0

Bump to v4.11.0

Duper/Preprocessing.lean

@@ -9,7 +9,6 @@ namespace Duper
 namespace ProverM
 open Lean
 open Meta
-open Std
 open ProverM
 open RuleM
 open SimpResult

Duper/ProverM.lean

@@ -14,7 +14,6 @@ namespace Duper
 namespace ProverM
 open Lean
 open Lean.Core
-open Std
 open RuleM
 open Expr
 

Duper/SubsumptionTrie.lean

@@ -5,7 +5,6 @@ namespace Duper
 
 open Lean
 open RuleM
-open Std
 open List
 open Expr
 

lake-manifest.json

@@ -1,22 +1,24 @@
-{"version": "1.0.0",
+{"version": "1.1.0",
  "packagesDir": ".lake/packages",
  "packages":
  [{"url": "https://github.com/leanprover-community/lean-auto.git",
    "type": "git",
    "subDir": null,
-   "rev": "1ba441f1d385cc2a7eebd927a5d2aa71b40fbd7a",
+   "scope": "",
+   "rev": "bfd373fb8ee85a0255f64b4f376e5fb08bb8a1da",
    "name": "auto",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "1ba441f1d385cc2a7eebd927a5d2aa71b40fbd7a",
+   "inputRev": "v4.11.0",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/batteries",
    "type": "git",
    "subDir": null,
-   "rev": "dcea9ce8aba248927fb2ea8d5752bfe1e3fe7b44",
+   "scope": "",
+   "rev": "9c6c2d647e57b2b7a0b42dd8080c698bd33a1b6f",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.9.1",
+   "inputRev": "v4.11.0",
    "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "Duper",

lakefile.lean

@@ -2,8 +2,8 @@ import Lake
 
 open Lake DSL
 
-require auto from git "https://github.com/leanprover-community/lean-auto.git"@"1ba441f1d385cc2a7eebd927a5d2aa71b40fbd7a"
-require batteries from git "https://github.com/leanprover-community/batteries" @ "v4.9.1"
+require auto from git "https://github.com/leanprover-community/lean-auto.git"@"v4.11.0"
+require batteries from git "https://github.com/leanprover-community/batteries" @ "v4.11.0"
 
 package Duper {
   precompileModules := true

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.9.1
+leanprover/lean4:v4.11.0