| Sat, 13 May 2006 02:51:33 +0200 |
wenzelm |
added defs (unchecked)'';
|
changeset |
files
|
| Sat, 13 May 2006 02:51:30 +0200 |
wenzelm |
* Pure: overloaded definitions are now actually checked for acyclic dependencies;
|
changeset |
files
|
| Fri, 12 May 2006 18:11:09 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 12 May 2006 11:19:41 +0200 |
nipkow |
added lemma in_measure
|
changeset |
files
|
| Fri, 12 May 2006 10:38:00 +0200 |
haftmann |
fixed silly bug in function serializer for ML
|
changeset |
files
|
| Fri, 12 May 2006 04:20:02 +0200 |
huffman |
add new finite chain theorems
|
changeset |
files
|
| Fri, 12 May 2006 01:01:08 +0200 |
wenzelm |
improved propagate_deps;
|
changeset |
files
|
| Thu, 11 May 2006 21:46:17 +0200 |
wenzelm |
check result against certified prop, i.e. admit non-normal statements;
|
changeset |
files
|
| Thu, 11 May 2006 19:19:33 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 11 May 2006 19:19:31 +0200 |
wenzelm |
avoid raw equality on type thm;
|
changeset |
files
|
| Thu, 11 May 2006 19:15:16 +0200 |
wenzelm |
replaced Graph.fold_nodes by general Graph.fold;
|
changeset |
files
|
| Thu, 11 May 2006 19:15:15 +0200 |
wenzelm |
added fold;
|
changeset |
files
|
| Thu, 11 May 2006 19:15:14 +0200 |
wenzelm |
tuned Defs.merge;
|
changeset |
files
|
| Thu, 11 May 2006 19:15:13 +0200 |
wenzelm |
allow dependencies of disjoint collections of instances;
|
changeset |
files
|