Thu, 27 Sep 2007 17:28:05 +0200 | ballarin | Fixed setup of transitivity reasoner (function decomp). | changeset | files |
Thu, 27 Sep 2007 17:22:15 +0200 | wenzelm | some more simultaneous use_thys; | changeset | files |
Thu, 27 Sep 2007 11:46:05 +0200 | wenzelm | read: explicit treatment of scanner failure; | changeset | files |