colab          5831941  colab
colab          2698865  colab/RFM
colab             5499  colab/RFM/aux
colab            89333  colab/RFM/classifier
colab           104493  colab/RFM/codegenerator
colab           366754  colab/RFM/demo
colab              325  colab/RFM/demo/bench
colab            35361  colab/RFM/demo/drlh
colab           144051  colab/RFM/demo/exa
colab            57357  colab/RFM/demo/extensions
colab            15577  colab/RFM/demo/findom
colab           107237  colab/RFM/demo/suites
colab          1618066  colab/RFM/docu
colab            20124  colab/RFM/docu/help
colab          1597942  colab/RFM/docu/manual
colab           105171  colab/RFM/gama
colab            47137  colab/RFM/index
colab            39550  colab/RFM/mode-interpreter
colab            40810  colab/RFM/normalizer
colab           257202  colab/RFM/relfun
colab           556490  colab/contax
colab                0  colab/contax/contax-ibin
colab                0  colab/contax/contax-sbin
colab            95583  colab/contax/demo
colab           254189  colab/contax/docu
colab                0  colab/contax/docu/help
colab           254189  colab/contax/docu/manual
colab           915089  colab/forward
colab           140542  colab/forward/demo
colab             9532  colab/forward/demo/semi-mconc
colab            39301  colab/forward/demo/semi-tx
colab           349256  colab/forward/docu
colab            22958  colab/forward/docu/help
colab           326298  colab/forward/docu/manual
colab            97590  colab/forward/fam
colab            84793  colab/forward/fw-bottomup
colab            41044  colab/forward/fw-bottomup/magic
colab            43749  colab/forward/fw-bottomup/semi-naive
colab           205133  colab/forward/fw-relfun
colab            62027  colab/forward/fw-relfun/fw-rfe
colab            13888  colab/forward/fw-relfun/fw-rfi
colab            19837  colab/forward/fw-relfun/meta
colab            15924  colab/forward/fw-relfun/strategies
colab            93457  colab/forward/fw-relfun/taxon-interface
colab           670658  colab/taxon
colab            17358  colab/taxon/RCS
colab              697  colab/taxon/concrete
colab                0  colab/taxon/concrete/ibin
colab            54746  colab/taxon/consistency
colab                0  colab/taxon/consistency/ibin
colab            52421  colab/taxon/demo
colab           269150  colab/taxon/docu
colab            10030  colab/taxon/docu/help
colab           259120  colab/taxon/docu/manual
colab           153249  colab/taxon/front-end
colab                0  colab/taxon/front-end/ibin
colab                0  colab/taxon/ibin
colab            37945  colab/taxon/incr-real-ord
colab                0  colab/taxon/incr-real-ord/ibin
colab             2317  colab/taxon/print-fcts
colab                0  colab/taxon/print-fcts/ibin
colab            69193  colab/taxon/representation
colab                0  colab/taxon/representation/ibin
colab             5724  colab/taxon/subsumption
colab                0  colab/taxon/subsumption/ibin
colab           460996  colab/top
colab             1533  colab/top/cmds
colab           255321  colab/top/demo
colab            90058  colab/top/demo/decplan
colab           165263  colab/top/demo/mcad2nc
colab            77995  colab/top/docu
colab            11976  colab/top/docu/help
colab            66019  colab/top/docu/manual
manuals        2513036  manuals
papers          441495  papers