Wed, 20 Oct 2021 18:13:17 +0200 |
wenzelm |
discontinued obsolete "val extend = I" for data slots;
|
file |
diff |
annotate
|
Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Fri, 23 Aug 2013 20:35:50 +0200 |
wenzelm |
added Theory.setup convenience;
|
file |
diff |
annotate
|
Thu, 13 Jun 2013 17:40:58 +0200 |
wenzelm |
updated documentation of sort hypotheses;
|
file |
diff |
annotate
| base
|
Sun, 02 Jun 2013 07:46:40 +0200 |
haftmann |
make reification part of HOL
|
file |
diff |
annotate
|
Fri, 31 May 2013 09:30:32 +0200 |
haftmann |
reflection without evaluation
|
file |
diff |
annotate
|
Fri, 31 May 2013 09:30:32 +0200 |
haftmann |
decomposed reflection steps into conversions;
|
file |
diff |
annotate
|
Fri, 31 May 2013 09:30:32 +0200 |
haftmann |
permit multiple variable arguments in reflect
|
file |
diff |
annotate
|
Fri, 31 May 2013 09:30:32 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Fri, 31 May 2013 09:30:32 +0200 |
haftmann |
dropped vacuous prefix
|
file |
diff |
annotate
|
Sun, 21 Apr 2013 10:41:18 +0200 |
haftmann |
reflection as official HOL tool
|
file |
diff |
annotate
|