Sun, 18 Jan 2009 10:11:12 +0100 |
haftmann |
improved calculation of morphisms and rules
|
changeset |
files
|
Sat, 17 Jan 2009 22:08:14 +0100 |
haftmann |
merged
|
changeset |
files
|
Sat, 17 Jan 2009 22:07:29 +0100 |
haftmann |
tuned signature
|
changeset |
files
|
Sat, 17 Jan 2009 22:07:15 +0100 |
haftmann |
exported depedencies; tuned signature
|
changeset |
files
|
Sat, 17 Jan 2009 10:40:03 -0800 |
huffman |
merged
|
changeset |
files
|
Fri, 16 Jan 2009 13:07:44 -0800 |
huffman |
merged
|
changeset |
files
|
Thu, 15 Jan 2009 14:33:38 -0800 |
huffman |
use match_tac instead of resolve_tac for continuity simproc
|
changeset |
files
|
Thu, 15 Jan 2009 12:43:41 -0800 |
huffman |
more instance declarations for poly
|
changeset |
files
|
Thu, 15 Jan 2009 12:43:12 -0800 |
huffman |
add lemmas about degree
|
changeset |
files
|
Thu, 15 Jan 2009 10:00:31 -0800 |
huffman |
rename plength to psize
|
changeset |
files
|
Thu, 15 Jan 2009 09:17:15 -0800 |
huffman |
rename divmod_poly to pdivmod
|
changeset |
files
|
Thu, 15 Jan 2009 09:10:42 -0800 |
huffman |
merged.
|
changeset |
files
|
Thu, 15 Jan 2009 08:11:50 -0800 |
huffman |
add strictness and compactness lemmas to Product_Cpo.thy
|
changeset |
files
|
Wed, 14 Jan 2009 18:22:43 -0800 |
huffman |
rename Dsum.thy to Sum_Cpo.thy
|
changeset |
files
|
Wed, 14 Jan 2009 18:18:48 -0800 |
huffman |
minimize dependencies
|
changeset |
files
|
Wed, 14 Jan 2009 18:05:05 -0800 |
huffman |
add lemmas cont2monofunE, cont2cont_apply
|
changeset |
files
|
Wed, 14 Jan 2009 17:12:21 -0800 |
huffman |
add Product_Cpo.thy
|
changeset |
files
|
Wed, 14 Jan 2009 17:11:29 -0800 |
huffman |
change to simpler, more extensible continuity simproc
|
changeset |
files
|
Sat, 17 Jan 2009 12:38:50 +0100 |
nipkow |
merged
|
changeset |
files
|
Sat, 17 Jan 2009 12:38:05 +0100 |
nipkow |
bug fix
|
changeset |
files
|
Sat, 17 Jan 2009 08:30:06 +0100 |
haftmann |
merged
|
changeset |
files
|
Sat, 17 Jan 2009 08:29:54 +0100 |
haftmann |
code cleanup
|
changeset |
files
|
Sat, 17 Jan 2009 08:29:40 +0100 |
haftmann |
explicit equation morphism
|
changeset |
files
|
Sat, 17 Jan 2009 08:29:19 +0100 |
haftmann |
close derivation of classrels
|
changeset |
files
|
Sat, 17 Jan 2009 08:28:51 +0100 |
haftmann |
no document for HOL-Base
|
changeset |
files
|
Fri, 16 Jan 2009 22:56:12 +0100 |
wenzelm |
moved message markup into Scala layer -- reduced redundancy;
|
changeset |
files
|
Fri, 16 Jan 2009 22:54:11 +0100 |
wenzelm |
added parse_body_failsafe;
|
changeset |
files
|
Fri, 16 Jan 2009 21:24:33 +0100 |
wenzelm |
define_state: use empty_state;
|
changeset |
files
|
Fri, 16 Jan 2009 16:00:20 +0100 |
wenzelm |
provide end_document;
|
changeset |
files
|
Fri, 16 Jan 2009 15:21:46 +0100 |
wenzelm |
merged
|
changeset |
files
|