Base Library for ICL
  • Version: 3 October 2016
  • Author: Gert Smolka, Saarland University
  • Acknowlegments: Sigurd Schneider, Dominik Kirst, Yannick Forster

Require Export
        Prelim
        Numbers
        BaseLists
        Lists.Cardinality
        Dupfree
        Filter
        Position
        Power
        Removal.