Wed, 21 Oct 2009 08:14:38 +0200 | haftmann | dropped redundant gen_ prefix | changeset | files |
Tue, 20 Oct 2009 16:13:01 +0200 | haftmann | replaced old_style infixes eq_set, subset, union, inter and variants by generic versions | changeset | files |
Wed, 21 Oct 2009 16:41:22 +1100 | kleing | find_theorems: better handling of abbreviations (by Timothy Bourke) | changeset | files |
Wed, 21 Oct 2009 00:36:12 +0200 | wenzelm | standardized basic operations on type option; | changeset | files |
Tue, 20 Oct 2009 23:25:04 +0200 | wenzelm | eliminated THENL -- use THEN RANGE; | changeset | files |
Tue, 20 Oct 2009 22:46:24 +0200 | wenzelm | tuned; | changeset | files |