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
|
Wed, 21 Sep 2005 22:01:09 +0200 |
webertj |
zchaff_with_proofs does not delete zChaff\s resolve_trace file anymore
|
changeset |
files
|
Wed, 21 Sep 2005 21:01:27 +0200 |
wenzelm |
echo HOL_USEDIR_OPTIONS;
|
changeset |
files
|
Wed, 21 Sep 2005 21:00:57 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Wed, 21 Sep 2005 20:26:45 +0200 |
wenzelm |
PROOFGENERAL_OPTIONS: smart fall-back on plain emacs (back again);
|
changeset |
files
|
Wed, 21 Sep 2005 20:16:35 +0200 |
wenzelm |
updated for Isabelle2005;
|
changeset |
files
|
Wed, 21 Sep 2005 20:16:34 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Wed, 21 Sep 2005 19:16:16 +0200 |
wenzelm |
updated for Isabelle2005;
|
changeset |
files
|
Wed, 21 Sep 2005 19:08:33 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
Wed, 21 Sep 2005 18:35:31 +0200 |
paulson |
improved proof parsing
|
changeset |
files
|