| Tue, 08 Jun 2010 16:37:22 +0200 |
haftmann |
tuned quotes, antiquotations and whitespace
|
file |
diff |
annotate
|
| Tue, 25 May 2010 20:28:16 +0200 |
wenzelm |
eliminated various catch-all exception patterns, guessing at the concrete exeptions that are intended here;
|
file |
diff |
annotate
|
| Sat, 15 May 2010 21:50:05 +0200 |
wenzelm |
less pervasive names from structure Thm;
|
file |
diff |
annotate
|
| Tue, 11 May 2010 19:00:16 +0200 |
haftmann |
represent de-Bruin indices simply by position in list
|
file |
diff |
annotate
|
| Tue, 11 May 2010 18:46:03 +0200 |
haftmann |
tuned reification functions
|
file |
diff |
annotate
|
| Tue, 11 May 2010 18:31:36 +0200 |
haftmann |
tuned code; toward a tightended interface with generated code
|
file |
diff |
annotate
|
| Mon, 10 May 2010 15:33:32 +0200 |
haftmann |
tuned; dropped strange myassoc2
|
file |
diff |
annotate
|
| Mon, 10 May 2010 15:24:43 +0200 |
haftmann |
stylized COOPER exception
|
file |
diff |
annotate
|
| Mon, 10 May 2010 15:21:13 +0200 |
haftmann |
simplified oracle
|
file |
diff |
annotate
|
| Mon, 10 May 2010 15:00:53 +0200 |
haftmann |
shorten names
|
file |
diff |
annotate
|
| Mon, 10 May 2010 14:55:06 +0200 |
haftmann |
only one module fpr presburger method
|
file |
diff |
annotate
|
| Mon, 10 May 2010 14:11:50 +0200 |
haftmann |
one structure is better than three
|
file |
diff |
annotate
|
| Mon, 10 May 2010 13:58:18 +0200 |
haftmann |
less complex organization of cooper source code
|
file |
diff |
annotate
|
| Mon, 10 May 2010 12:25:49 +0200 |
haftmann |
dropped unused bindings; avoid open (documents dependency on generated code more explicitly)
|
file |
diff |
annotate
|
| Thu, 06 May 2010 19:27:51 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|
| Thu, 06 May 2010 16:32:21 +0200 |
haftmann |
tuned whitespace; dropped superfluous open
|
file |
diff |
annotate
|
| Wed, 05 May 2010 18:25:34 +0200 |
haftmann |
farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =)
|
file |
diff |
annotate
|
| Wed, 28 Apr 2010 21:41:05 +0200 |
haftmann |
modernized structure name
|
file |
diff |
annotate
|
| Sun, 28 Feb 2010 23:51:31 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Fri, 19 Feb 2010 14:47:01 +0100 |
haftmann |
moved remaning class operations from Algebras.thy to Groups.thy
|
file |
diff |
annotate
|
| Wed, 10 Feb 2010 14:12:04 +0100 |
haftmann |
moved less_eq, less to Orderings.thy; moved abs, sgn to Groups.thy
|
file |
diff |
annotate
|
| Mon, 08 Feb 2010 17:12:38 +0100 |
haftmann |
renamed OrderedGroup to Groups; split theory Ring_and_Field into Rings Fields
|
file |
diff |
annotate
|
| Thu, 28 Jan 2010 11:48:49 +0100 |
haftmann |
new theory Algebras.thy for generic algebraic structures
|
file |
diff |
annotate
|
| Wed, 21 Oct 2009 12:02:56 +0200 |
haftmann |
curried union as canonical list operation
|
file |
diff |
annotate
|
| Wed, 21 Oct 2009 08:16:25 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|
| Wed, 21 Oct 2009 08:14:38 +0200 |
haftmann |
dropped redundant gen_ prefix
|
file |
diff |
annotate
|
| Tue, 20 Oct 2009 16:13:01 +0200 |
haftmann |
replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
|
file |
diff |
annotate
|
| Wed, 21 Oct 2009 00:36:12 +0200 |
wenzelm |
standardized basic operations on type option;
|
file |
diff |
annotate
|
| Mon, 19 Oct 2009 21:54:57 +0200 |
wenzelm |
uniform use of Integer.add/mult/sum/prod;
|
file |
diff |
annotate
|
| Fri, 18 Sep 2009 09:07:50 +0200 |
haftmann |
tuned const_name antiquotations
|
file |
diff |
annotate
|