| Fri, 03 Mar 2006 19:43:46 +0100 |
nipkow |
minor changes
|
changeset |
files
|
| Fri, 03 Mar 2006 19:30:30 +0100 |
nipkow |
more examples
|
changeset |
files
|
| Fri, 03 Mar 2006 19:30:20 +0100 |
nipkow |
changed and retracted change of location of code lemmas.
|
changeset |
files
|
| Fri, 03 Mar 2006 16:25:30 +0100 |
nipkow |
ignore repeated vars on lhs, cleanup
|
changeset |
files
|
| Fri, 03 Mar 2006 08:52:39 +0100 |
haftmann |
improvements for nbe
|
changeset |
files
|
| Thu, 02 Mar 2006 18:51:11 +0100 |
paulson |
reformatting
|
changeset |
files
|
| Thu, 02 Mar 2006 18:50:43 +0100 |
paulson |
subset_refl now included using the atp attribute
|
changeset |
files
|
| Thu, 02 Mar 2006 18:49:13 +0100 |
paulson |
moved the "use" directive
|
changeset |
files
|
| Thu, 02 Mar 2006 16:01:06 +0100 |
urbanc |
fixed the bugs itroduced by the previous commit
|
changeset |
files
|
| Thu, 02 Mar 2006 15:43:22 +0100 |
urbanc |
made some small changes to generate nicer latex-output
|
changeset |
files
|
| Thu, 02 Mar 2006 15:05:09 +0100 |
urbanc |
split the files
|
changeset |
files
|
| Thu, 02 Mar 2006 00:57:34 +0100 |
mengj |
Added in a signature.
|
changeset |
files
|
| Wed, 01 Mar 2006 18:26:20 +0100 |
urbanc |
fixed a problem where a permutation is not analysed
|
changeset |
files
|
| Wed, 01 Mar 2006 18:24:31 +0100 |
urbanc |
streamlined the proof
|
changeset |
files
|
| Wed, 01 Mar 2006 13:47:42 +0100 |
haftmann |
refined representation of codegen intermediate language
|
changeset |
files
|