2009-09-11 haftmann merged
2009-09-11 haftmann corrected upper/lowercase
2009-09-10 haftmann merged
2009-09-10 haftmann obey underscore naming convention
2009-09-10 haftmann plain structure name; signature constraint; shorter lines
2009-09-10 haftmann split of test examples from NatTransfer
2009-09-10 haftmann generic transfer procedure
2009-09-10 haftmann early bootstrap of generic transfer procedure
2009-09-10 haftmann cleanedup theorems all_nat ex_nat
2009-09-10 Philipp Meyer atp_minimize is now not using whitelist
2009-09-10 nipkow position information is now passed to all actions;
2009-09-10 nipkow logging number of metis lemmas
2009-09-09 nipkow minimization: comparing w/ and w/o.
2009-09-09 haftmann merged
2009-09-09 haftmann dropped accidental code additions
2009-09-09 haftmann merged
2009-09-09 haftmann explicit transfer avoids spurious merge problems
2009-09-09 haftmann moved eq handling in nbe into separate oracle
2009-09-08 wenzelm tuned document -- proper text instead of source comments, reduced line length;
2009-09-01 Philipp Meyer fixed cleanup routine in neos csdp script
2009-09-08 boehmes timeout option for ATPs
2009-09-07 wenzelm merged
2009-09-07 wenzelm modernized Event_Bus -- based on actors;
2009-09-07 nipkow Fixed "minimal" to cover the case that "p []" holds (excluded in the article by Bradley & Manna)
2009-09-07 nipkow merged
2009-09-07 nipkow tuned stats
2009-09-07 paulson Fixed a few problems with the method metisFT
2009-09-07 nipkow merged
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip