Revision 1092: /branches/fx8

• ..
• ArithProofs.n
• AssemblyInfo.n
• Atom.n
• BigInteger.cs
• COPYRIGHT
• CSV.n
• Clause.n
• Command.n
• Core.n
• Driver.n
• FatalError.n
• FreeFunTheory.n
• Grinder.n
• IDEAS
• LinearTheory.n
• Literal.n
• Makefile
• PAtom.n
• Parser.n
• PatriciaTree.n
• Proof.n
• ProofGen.n
• ProvingGrinder.n
• Pruner.n
• QAtom.n
• README
• Rational.n
• Rule.n
• SimpleSolver.n
• SmtDumper.n
• TODO
• TODO2
• TcTheory.n
• Term.Matcher.n
• Term.Pool.n
• Term.SubTrigger.n
• Term.SubstLite.n
• Term.n
• Theory.n
• Trew.n
• UtilMacros.n
• benchmarks/
• check
• conv
• convesc
• doc/
• esc/
• g
• genetic/
• logs/
• patches/
• prelude.rw
• prelude.v
• prune_tests/
• ra
• raf
• rafa
• rb
• rdtsc.c
• run
• runesc
• scripts/
• skolem.v
• smt/
• temp/
• tests/
• tlcc/
• trew/
• uf-benchmarks/