| Tue, 31 Jul 2007 19:26:35 +0200 | wenzelm | tuned section "Style"; | changeset | files |
| Tue, 31 Jul 2007 14:45:36 +0200 | narboux | undo a change in last commit : give a single name to the inversion lemmas for the same inductive type | changeset | files |
| Tue, 31 Jul 2007 14:18:24 +0200 | ballarin | Proper interpretation of total orders in lattices. | changeset | files |
| Tue, 31 Jul 2007 13:31:01 +0200 | wenzelm | * Configuration options; | changeset | files |
| Tue, 31 Jul 2007 13:30:35 +0200 | wenzelm | added configuration options; | changeset | files |
| Tue, 31 Jul 2007 13:30:27 +0200 | wenzelm | removed use/update_thy_only; | changeset | files |
| Tue, 31 Jul 2007 09:31:26 +0200 | chaieb | find_body goes under meta-quantifier ; tactic generalizes free variables; | changeset | files |
| Tue, 31 Jul 2007 09:31:23 +0200 | chaieb | Added dependency on langford files in Tools/Qelim | changeset | files |