wneuper/isa: etc/components@3e11e3c2dc42

Mercurial Mercurial > wneuper > isa / file revision

etc/components

author	Walther Neuper <neuper@ist.tugraz.at>
	Thu, 23 Sep 2010 14:49:23 +0200
branch	isac-update-Isa09-2
changeset 38014	3e11e3c2dc42
parent 37871	875b6efa7ced
child 41897	355be7f60389
permissions	-rw-r--r--

updated "op +", "op -", "op *". "HOL.divide" in src & test

find . -type f -exec sed -i s/"\"op +\""/"\"Groups.plus_class.plus\""/g {} \;
find . -type f -exec sed -i s/"\"op -\""/"\"Groups.minus_class.minus\""/g {} \;
find . -type f -exec sed -i s/"\"op *\""/"\"Groups.times_class.times\""/g {} \;
find . -type f -exec sed -i s/"\"HOL.divide\""/"\"Rings.inverse_class.divide\""/g {} \;

     1 #main object logics

     2 src/Pure

     3 src/FOL

     4 src/HOL

     5 src/ZF

     6 src/CCL

     7 src/CTT

     8 src/Cube

     9 src/FOLP

    10 src/HOLCF

    11 src/LCF

    12 src/Sequents

    13 #misc components

    14 src/Tools/Code

    15 src/Tools/WWW_Find

    16 src/HOL/Tools/ATP_Manager

    17 src/HOL/Mirabelle

    18 src/HOL/Library/Sum_Of_Squares

    19 src/HOL/Tools/SMT

    20 #bundled components

    21 contrib/e-1.0-004

    22 contrib/jedit-4.3.2

    23 contrib/kodkodi-1.2.13

    24 contrib/scala-2.8.0.RC5

    25 contrib/spass-3.7

wneuper/isa

RSS Atom