Fri, 18 Jan 2019 18:52:27 -0500 |
immler |
restore type variable names in unoverload_type
|
file |
diff |
annotate
|
Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Wed, 13 Jun 2018 10:52:47 +0200 |
immler |
tuned exception
|
file |
diff |
annotate
|
Wed, 13 Jun 2018 10:45:23 +0200 |
immler |
restructured
|
file |
diff |
annotate
|
Wed, 13 Jun 2018 09:38:07 +0200 |
immler |
result of unoverload is not in normal form
|
file |
diff |
annotate
|
Wed, 13 Jun 2018 09:26:04 +0200 |
immler |
tuned
|
file |
diff |
annotate
|
Wed, 13 Jun 2018 09:22:58 +0200 |
immler |
allow for a list of vars
|
file |
diff |
annotate
|
Wed, 13 Jun 2018 09:11:35 +0200 |
immler |
parse var
|
file |
diff |
annotate
|
Tue, 12 Jun 2018 19:32:42 +0200 |
immler |
tuned
|
file |
diff |
annotate
|
Tue, 12 Jun 2018 19:30:55 +0200 |
immler |
workaround: in internalize_sort, Thm.unconstrainT can rename type variables and therefore invalidate new_tvar
|
file |
diff |
annotate
|
Tue, 12 Jun 2018 16:21:52 +0200 |
immler |
a derived rule combining unoverload and internalize_sort
|
file |
diff |
annotate
|