| Wed, 28 Mar 2012 11:40:12 +0200 |
bulwahn |
merged
|
changeset |
files
|
| Wed, 28 Mar 2012 10:44:04 +0200 |
bulwahn |
some tuning while reviewing the current state of the quotient_def package
|
changeset |
files
|
| Wed, 28 Mar 2012 10:37:30 +0200 |
bulwahn |
improving spelling
|
changeset |
files
|
| Wed, 28 Mar 2012 10:16:02 +0200 |
bulwahn |
changing more definitions to quotient_definition
|
changeset |
files
|
| Wed, 28 Mar 2012 10:02:22 +0200 |
bulwahn |
removing now redundant impl_of theorems in DAList
|
changeset |
files
|
| Wed, 28 Mar 2012 10:00:52 +0200 |
bulwahn |
using abstract code equations for proofs of code equations in Multiset
|
changeset |
files
|
| Wed, 28 Mar 2012 12:08:08 +0200 |
wenzelm |
simplified statements and proofs;
|
changeset |
files
|
| Wed, 28 Mar 2012 11:46:14 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Wed, 28 Mar 2012 11:17:32 +0200 |
wenzelm |
updated Sign.add_type, Name_Space.declare;
|
changeset |
files
|
| Wed, 28 Mar 2012 11:04:39 +0200 |
wenzelm |
updated comments;
|
changeset |
files
|
| Wed, 28 Mar 2012 08:25:51 +0200 |
huffman |
merged
|
changeset |
files
|
| Tue, 27 Mar 2012 22:10:26 +0200 |
huffman |
remove unnecessary rules from the simpset
|
changeset |
files
|
| Tue, 27 Mar 2012 21:58:41 +0200 |
huffman |
remove unused premises
|
changeset |
files
|
| Tue, 27 Mar 2012 21:48:55 +0200 |
huffman |
remove duplicate lemmas
|
changeset |
files
|
| Tue, 27 Mar 2012 21:48:26 +0200 |
huffman |
mark some duplicate lemmas for deletion
|
changeset |
files
|
| Tue, 27 Mar 2012 20:19:23 +0200 |
huffman |
remove more redundant lemmas
|
changeset |
files
|