Thu, 15 Mar 2001 16:56:35 +0100 |
paulson |
translations: a tweak
|
changeset |
files
|
Thu, 15 Mar 2001 15:05:51 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Thu, 15 Mar 2001 13:57:10 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Thu, 15 Mar 2001 11:06:33 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Thu, 15 Mar 2001 10:41:32 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Wed, 14 Mar 2001 18:40:01 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Wed, 14 Mar 2001 17:38:49 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Wed, 14 Mar 2001 08:50:55 +0100 |
paulson |
minor tuning
|
changeset |
files
|
Tue, 13 Mar 2001 18:35:48 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Mon, 12 Mar 2001 18:23:11 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Mon, 12 Mar 2001 18:17:45 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Fri, 09 Mar 2001 19:05:48 +0100 |
nipkow |
arith_tac now copes with propositional reasoning as well.
|
changeset |
files
|