Sat, 16 Aug 2014 18:31:47 +0200 | wenzelm | updated to named_theorems; | changeset | files |
Sat, 16 Aug 2014 18:08:55 +0200 | wenzelm | updated to named_theorems; | changeset | files |
Sat, 16 Aug 2014 16:45:39 +0200 | wenzelm | clarified order of arith rules; | changeset | files |
Sat, 16 Aug 2014 16:18:39 +0200 | wenzelm | clarified order of rules for match_tac/resolve_tac; | changeset | files |
Sat, 16 Aug 2014 14:42:35 +0200 | wenzelm | updated to named_theorems; | changeset | files |
Sat, 16 Aug 2014 14:32:26 +0200 | wenzelm | updated to named_theorems; | changeset | files |
Sat, 16 Aug 2014 14:27:41 +0200 | wenzelm | updated to named_theorems; | changeset | files |