Fri, 23 Sep 2005 00:52:13 +0200 |
obua |
add debug messages
|
changeset |
files
|
Fri, 23 Sep 2005 00:11:10 +0200 |
nipkow |
renamed rules to iprover
|
changeset |
files
|
Fri, 23 Sep 2005 00:10:58 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Thu, 22 Sep 2005 23:56:15 +0200 |
nipkow |
renamed rules to iprover
|
changeset |
files
|
Thu, 22 Sep 2005 23:55:42 +0200 |
nipkow |
fix because of list lemmas
|
changeset |
files
|
Thu, 22 Sep 2005 23:43:55 +0200 |
nipkow |
renamed "rules" to "iprover"
|
changeset |
files
|
Thu, 22 Sep 2005 19:06:34 +0200 |
huffman |
added theorem adm_ball
|
changeset |
files
|
Thu, 22 Sep 2005 19:06:05 +0200 |
huffman |
cleaned up
|
changeset |
files
|
Thu, 22 Sep 2005 18:59:41 +0200 |
huffman |
HOLCF theorem naming conventions
|
changeset |
files
|
Thu, 22 Sep 2005 14:09:48 +0200 |
paulson |
removal of "sleep" to stop looping in Poly/ML, and replacement of funny codes by tracing statements
|
changeset |
files
|
Thu, 22 Sep 2005 14:02:14 +0200 |
nipkow |
Fix because of new lemma in List
|
changeset |
files
|
Thu, 22 Sep 2005 13:52:55 +0200 |
webertj |
solver "auto" does not reverse the list of solvers anymore
|
changeset |
files
|
Thu, 22 Sep 2005 07:56:16 +0200 |
haftmann |
added fold_map_graph
|
changeset |
files
|
Thu, 22 Sep 2005 07:56:04 +0200 |
haftmann |
added fold_map_table
|
changeset |
files
|
Thu, 22 Sep 2005 00:30:31 +0200 |
isatest |
only show trunk in Changelog (kleing)
|
changeset |
files
|