Thu, 08 Jul 2021 08:42:36 +0200 |
desharna |
added opaque_combs and renamed hide_lams to opaque_lifting
|
file |
diff |
annotate
|
Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
Fri, 18 Aug 2017 20:47:47 +0200 |
wenzelm |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
file |
diff |
annotate
|
Thu, 26 May 2016 17:51:22 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
Thu, 06 Mar 2014 15:12:23 +0100 |
blanchet |
renamed 'endofun_rel' to 'rel_endofun'
|
file |
diff |
annotate
|
Fri, 14 Feb 2014 07:53:46 +0100 |
blanchet |
renamed 'enriched_type' to more informative 'functor' (following the renaming of enriched type constructors to bounded natural functors)
|
file |
diff |
annotate
|
Fri, 13 Apr 2012 14:00:26 +0200 |
wenzelm |
updated headers;
|
file |
diff |
annotate
|
Tue, 03 Apr 2012 16:26:48 +0200 |
kuncar |
new package Lifting - initial commit
|
file |
diff |
annotate
|
Mon, 26 Mar 2012 18:32:22 +0200 |
kuncar |
tuned comment
|
file |
diff |
annotate
|
Mon, 26 Mar 2012 15:32:54 +0200 |
kuncar |
tuned proof - no smt call
|
file |
diff |
annotate
|
Fri, 23 Mar 2012 14:26:09 +0100 |
kuncar |
fix example files
|
file |
diff |
annotate
|
Fri, 23 Mar 2012 14:17:29 +0100 |
kuncar |
fix Quotient_Examples
|
file |
diff |
annotate
|
Fri, 09 Dec 2011 14:22:05 +0100 |
kuncar |
added an example file with lifting of constants with contravariant and co/contravariant types
|
file |
diff |
annotate
|