| Tue, 22 May 2007 17:25:26 +0200 |
krauss |
some optimizations, cleanup
|
file |
diff |
annotate
|
| Mon, 21 May 2007 16:39:58 +0200 |
krauss |
fixed signature
|
file |
diff |
annotate
|
| Mon, 21 May 2007 16:22:46 +0200 |
krauss |
Method "lexicographic_order" now takes the same arguments as "auto"
|
file |
diff |
annotate
|
| Thu, 17 May 2007 19:49:40 +0200 |
haftmann |
canonical prefixing of class constants
|
file |
diff |
annotate
|
| Fri, 20 Apr 2007 10:06:11 +0200 |
krauss |
definition lookup via terms, not names. Methods "relation" and "lexicographic_order"
|
file |
diff |
annotate
|
| Thu, 15 Feb 2007 17:35:19 +0100 |
krauss |
changed termination goal to use object quantifier
|
file |
diff |
annotate
|
| Tue, 13 Feb 2007 10:09:21 +0100 |
bulwahn |
improved lexicographic order termination tactic
|
file |
diff |
annotate
|
| Wed, 07 Feb 2007 13:05:28 +0100 |
bulwahn |
changes in lexicographic_order termination tactic
|
file |
diff |
annotate
|
| Wed, 13 Dec 2006 14:56:50 +0100 |
krauss |
clarified error message
|
file |
diff |
annotate
|
| Wed, 13 Dec 2006 14:54:07 +0100 |
krauss |
nat type now has a size functin => no longer needed as special case
|
file |
diff |
annotate
|
| Sun, 10 Dec 2006 19:37:28 +0100 |
wenzelm |
HOLogic cleanup;
|
file |
diff |
annotate
|
| Wed, 29 Nov 2006 15:44:57 +0100 |
wenzelm |
tuned spaces/comments;
|
file |
diff |
annotate
|
| Fri, 24 Nov 2006 13:39:22 +0100 |
krauss |
exported mk_base_funs for use by size-change tools
|
file |
diff |
annotate
|
| Mon, 13 Nov 2006 13:51:22 +0100 |
krauss |
replaced "auto_term" by the simpler method "relation", which does not try
|
file |
diff |
annotate
|
| Tue, 07 Nov 2006 22:06:32 +0100 |
krauss |
untabified
|
file |
diff |
annotate
|
| Tue, 07 Nov 2006 09:59:43 +0100 |
krauss |
method exported
|
file |
diff |
annotate
|
| Wed, 01 Nov 2006 08:46:54 +0100 |
bulwahn |
added lexicographic_order tactic
|
file |
diff |
annotate
|