Tue, 11 Mar 2014 10:14:45 +0100 | wenzelm | minor performance tuning via fast matching filter; | changeset | files |
Tue, 11 Mar 2014 17:18:42 +0100 | blanchet | added missing theorems to unfolding set | changeset | files |
Tue, 11 Mar 2014 17:18:41 +0100 | blanchet | moved 'Quickcheck_Narrowing' further down the theory graph | changeset | files |