| Mon, 04 Nov 2019 20:38:15 +0000 |
haftmann |
proof-of-concept theory for bit operations without a constructivistic representation and a minimal common logical foundation
|
file |
diff |
annotate
|
| Thu, 19 Sep 2019 17:24:08 +0100 |
paulson |
Tidying and one more theorem
|
file |
diff |
annotate
|
| Sat, 20 Apr 2019 18:02:22 +0000 |
haftmann |
follow convention of bold local syntax
|
file |
diff |
annotate
|
| Sat, 20 Apr 2019 18:02:22 +0000 |
haftmann |
more use of existing locales
|
file |
diff |
annotate
|
| Sat, 20 Apr 2019 18:02:21 +0000 |
haftmann |
avoid separate type class for mere definitional extension
|
file |
diff |
annotate
|
| Sat, 20 Apr 2019 18:02:20 +0000 |
haftmann |
tuned name
|
file |
diff |
annotate
|
| Sat, 01 Apr 2017 19:16:19 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2016 15:45:32 +0200 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
| Mon, 09 Nov 2015 15:48:17 +0100 |
wenzelm |
qualifier is mandatory by default;
|
file |
diff |
annotate
|
| Thu, 06 Aug 2015 14:29:05 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 17 Jun 2015 11:03:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 17:20:45 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
| Fri, 27 Dec 2013 14:35:14 +0100 |
haftmann |
prefer target-style syntaxx for sublocale
|
file |
diff |
annotate
|
| Thu, 28 Jan 2010 11:48:43 +0100 |
haftmann |
dropped mk_left_commute; use interpretation of locale abel_semigroup instead
|
file |
diff |
annotate
|
| Mon, 23 Mar 2009 08:14:24 +0100 |
haftmann |
Main is (Complex_Main) base entry point in library theories
|
file |
diff |
annotate
|