| Tue, 23 Feb 2010 10:11:49 +0100 |
haftmann |
dropped axclass; dropped Id; session theory Hoare.thy
|
changeset |
files
|
| Tue, 23 Feb 2010 10:11:31 +0100 |
haftmann |
dropped session W0; c.f. MiniML in AFP
|
changeset |
files
|
| Tue, 23 Feb 2010 10:11:16 +0100 |
haftmann |
dropped axclass, going back to purely syntactic type classes
|
changeset |
files
|
| Tue, 23 Feb 2010 10:11:15 +0100 |
haftmann |
dropped axclass; dropped Id
|
changeset |
files
|
| Tue, 23 Feb 2010 10:11:15 +0100 |
haftmann |
dropped axclass; dropped Id; session theory Hoare.thy
|
changeset |
files
|
| Tue, 23 Feb 2010 10:11:12 +0100 |
haftmann |
dropped axclass
|
changeset |
files
|
| Tue, 23 Feb 2010 14:11:46 +0100 |
Cezary Kaliszyk |
export prs_rules and rsp_rules attributes
|
changeset |
files
|
| Tue, 23 Feb 2010 12:14:46 +0100 |
blanchet |
merge
|
changeset |
files
|
| Tue, 23 Feb 2010 12:14:29 +0100 |
blanchet |
improved precision of small sets in Nitpick
|
changeset |
files
|
| Tue, 23 Feb 2010 11:05:32 +0100 |
blanchet |
improved Nitpick's support for quotient types
|
changeset |
files
|
| Tue, 23 Feb 2010 12:02:32 +0100 |
hoelzl |
Forgot to check NSA in changeset e4a431b6d9b7 ; Removed import of Integration
|
changeset |
files
|
| Tue, 23 Feb 2010 10:02:14 +0100 |
blanchet |
catch IO errors in Nitpick's "kodkodi" invocation + shorten execution time of "Manual_Nits" example
|
changeset |
files
|
| Tue, 23 Feb 2010 08:08:23 +0100 |
haftmann |
mind the "s"
|
changeset |
files
|
| Tue, 23 Feb 2010 08:04:07 +0100 |
haftmann |
merged
|
changeset |
files
|
| Mon, 22 Feb 2010 16:03:48 +0100 |
haftmann |
NEWS
|
changeset |
files
|
| Mon, 22 Feb 2010 16:03:44 +0100 |
haftmann |
added missing separator
|
changeset |
files
|
| Mon, 22 Feb 2010 15:53:19 +0100 |
haftmann |
more accurate when registering new types
|
changeset |
files
|
| Mon, 22 Feb 2010 15:53:18 +0100 |
haftmann |
added Dlist
|
changeset |
files
|
| Mon, 22 Feb 2010 15:53:18 +0100 |
haftmann |
tuned text
|
changeset |
files
|
| Mon, 22 Feb 2010 15:53:18 +0100 |
haftmann |
distributed theory Algebras to theories Groups and Lattices
|
changeset |
files
|
| Mon, 22 Feb 2010 11:13:30 +0100 |
haftmann |
merged
|
changeset |
files
|
| Mon, 22 Feb 2010 11:10:20 +0100 |
haftmann |
proper distinction of code datatypes and abstypes
|
changeset |
files
|
| Mon, 22 Feb 2010 10:38:58 +0100 |
haftmann |
merged
|
changeset |
files
|
| Mon, 22 Feb 2010 09:36:47 +0100 |
haftmann |
merged
|
changeset |
files
|
| Mon, 22 Feb 2010 09:24:20 +0100 |
haftmann |
merged
|
changeset |
files
|
| Sat, 20 Feb 2010 21:13:29 +0100 |
haftmann |
lemma distinct_insert
|
changeset |
files
|
| Mon, 22 Feb 2010 21:48:20 -0800 |
huffman |
proper header and subsection headings
|
changeset |
files
|
| Mon, 22 Feb 2010 21:47:21 -0800 |
huffman |
remove unneeded premise from rat_floor_lemma and floor_Fract
|
changeset |
files
|
| Mon, 22 Feb 2010 20:41:49 +0100 |
hoelzl |
Replaced Integration by Multivariate-Analysis/Real_Integration
|
changeset |
files
|
| Mon, 22 Feb 2010 20:08:10 +0100 |
himmelma |
Support for one-dimensional integration in Multivariate-Analysis
|
changeset |
files
|
| Thu, 18 Feb 2010 22:11:19 +0100 |
himmelma |
Equivalence between DERIV and one-dimensional derivation in Multivariate-Analysis
|
changeset |
files
|
| Mon, 22 Feb 2010 11:19:15 -0800 |
huffman |
merged
|
changeset |
files
|
| Mon, 22 Feb 2010 11:17:41 -0800 |
huffman |
add mixfix field to type Domain_Library.cons
|
changeset |
files
|
| Mon, 22 Feb 2010 09:43:36 -0800 |
huffman |
remove unnecessary local
|
changeset |
files
|
| Sun, 21 Feb 2010 08:59:39 -0800 |
huffman |
update to use fixrec package
|
changeset |
files
|
| Mon, 22 Feb 2010 19:31:18 +0100 |
blanchet |
merge
|
changeset |
files
|
| Mon, 22 Feb 2010 19:31:00 +0100 |
blanchet |
enabled Nitpick's support for quotient types + shortened the Nitpick tests a bit
|
changeset |
files
|
| Mon, 22 Feb 2010 14:36:10 +0100 |
blanchet |
filter out trivial definitions in Nitpick (e.g. "Topology.topo" from AFP)
|
changeset |
files
|
| Mon, 22 Feb 2010 17:02:39 +0100 |
haftmann |
dropped references to old axclass from documentation
|
changeset |
files
|
| Mon, 22 Feb 2010 14:11:03 +0100 |
berghofe |
Fixed bug that caused (r)trancl_tac to crash when the term denoting the relation
|
changeset |
files
|
| Mon, 22 Feb 2010 11:57:33 +0100 |
blanchet |
fixed a few bugs in Nitpick and removed unreferenced variables
|
changeset |
files
|
| Mon, 22 Feb 2010 10:28:49 +0100 |
Cezary Kaliszyk |
update the keywords files
|
changeset |
files
|
| Mon, 22 Feb 2010 10:28:00 +0100 |
Cezary Kaliszyk |
rename print_maps to print_quotmaps
|
changeset |
files
|
| Mon, 22 Feb 2010 09:36:29 +0100 |
haftmann |
adjusted to cs. 8dfd816713c6
|
changeset |
files
|
| Mon, 22 Feb 2010 09:30:50 +0100 |
haftmann |
NEWS
|
changeset |
files
|
| Mon, 22 Feb 2010 09:17:49 +0100 |
haftmann |
merged
|
changeset |
files
|
| Mon, 22 Feb 2010 09:15:12 +0100 |
haftmann |
tuned proofs
|
changeset |
files
|
| Mon, 22 Feb 2010 09:15:11 +0100 |
haftmann |
ascii syntax for multiset order
|
changeset |
files
|
| Mon, 22 Feb 2010 09:15:10 +0100 |
haftmann |
switched notations for pointwise and multiset order
|
changeset |
files
|
| Mon, 22 Feb 2010 09:15:10 +0100 |
haftmann |
NEWS
|
changeset |
files
|
| Fri, 19 Feb 2010 16:56:39 +0100 |
haftmann |
NEWS
|
changeset |
files
|
| Fri, 19 Feb 2010 16:52:30 +0100 |
haftmann |
merged
|
changeset |
files
|
| Fri, 19 Feb 2010 16:52:00 +0100 |
haftmann |
switched notations for pointwise and multiset order
|
changeset |
files
|
| Fri, 19 Feb 2010 14:47:01 +0100 |
haftmann |
moved remaning class operations from Algebras.thy to Groups.thy
|
changeset |
files
|
| Fri, 19 Feb 2010 14:47:00 +0100 |
haftmann |
hide fact range_def
|
changeset |
files
|
| Fri, 19 Feb 2010 14:47:00 +0100 |
haftmann |
dropped reference to type classes
|
changeset |
files
|
| Fri, 19 Feb 2010 14:46:59 +0100 |
haftmann |
NEWS
|
changeset |
files
|
| Sun, 21 Feb 2010 23:05:37 +0100 |
wenzelm |
filter out authentic const syntax;
|
changeset |
files
|
| Sun, 21 Feb 2010 22:35:02 +0100 |
wenzelm |
slightly more abstract syntax mark/unmark operations;
|
changeset |
files
|
| Sun, 21 Feb 2010 21:41:29 +0100 |
wenzelm |
tuned;
|
changeset |
files
|