| Wed, 21 Dec 2005 13:25:20 +0100 |
haftmann |
discontinued unflat in favour of burrow and burrow_split
|
changeset |
files
|
| Wed, 21 Dec 2005 12:06:08 +0100 |
paulson |
new hash table module in HOL/Too/s
|
changeset |
files
|
| Wed, 21 Dec 2005 12:05:47 +0100 |
paulson |
modified suffix for [iff] attribute
|
changeset |
files
|
| Wed, 21 Dec 2005 12:02:57 +0100 |
paulson |
removed or modified some instances of [iff]
|
changeset |
files
|
| Tue, 20 Dec 2005 22:06:00 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 20 Dec 2005 09:02:41 +0100 |
haftmann |
added .cvsignore
|
changeset |
files
|
| Tue, 20 Dec 2005 09:01:48 +0100 |
haftmann |
removed improper .cvsignore
|
changeset |
files
|
| Tue, 20 Dec 2005 08:58:36 +0100 |
haftmann |
removed superfluos is_prefix functions
|
changeset |
files
|
| Tue, 20 Dec 2005 08:38:43 +0100 |
haftmann |
resolved shadowing of Library.find_first
|
changeset |
files
|
| Tue, 20 Dec 2005 08:38:10 +0100 |
haftmann |
removed infix prefix, introduces burrow
|
changeset |
files
|
| Tue, 20 Dec 2005 04:29:25 +0100 |
mengj |
Literals in clauses are sorted now. Added functions for clause equivalence tests and hashing clauses to words.
|
changeset |
files
|
| Tue, 20 Dec 2005 04:27:46 +0100 |
mengj |
Added functions for fol_type; also put some functions to the signature, used by ResHolClause.
|
changeset |
files
|