| Thu, 03 Jan 2008 23:01:51 +0100 |
wenzelm |
another attempt to disable documents;
|
changeset |
files
|
| Thu, 03 Jan 2008 22:25:16 +0100 |
wenzelm |
simplified position_props, always include line/file fields;
|
changeset |
files
|
| Thu, 03 Jan 2008 22:25:15 +0100 |
wenzelm |
replaced thread_properties by simplified version in position.ML;
|
changeset |
files
|
| Thu, 03 Jan 2008 22:25:13 +0100 |
wenzelm |
nested_command: simplified properties vs. position -- the latter also includes id now;
|
changeset |
files
|
| Thu, 03 Jan 2008 22:25:12 +0100 |
wenzelm |
type T: based on properties, added id field;
|
changeset |
files
|
| Thu, 03 Jan 2008 22:25:11 +0100 |
wenzelm |
moved id to position properties;
|
changeset |
files
|
| Thu, 03 Jan 2008 22:10:52 +0100 |
huffman |
instance unit :: finite_po
|
changeset |
files
|
| Thu, 03 Jan 2008 22:09:44 +0100 |
huffman |
new axclass finite_po < finite, po
|
changeset |
files
|
| Thu, 03 Jan 2008 22:08:54 +0100 |
huffman |
add lub_maximal lemmas;
|
changeset |
files
|
| Thu, 03 Jan 2008 20:29:00 +0100 |
wenzelm |
added class Property: basic Isabelle properties;
|
changeset |
files
|
| Thu, 03 Jan 2008 18:19:27 +0100 |
chaieb |
tuned relevance test for presburger
|
changeset |
files
|
| Thu, 03 Jan 2008 17:50:44 +0100 |
wenzelm |
output message properties: id or position;
|
changeset |
files
|