| Mon, 03 Jun 2019 20:09:43 +0200 |
wenzelm |
clarified transfer_morphism: implicit join_certificate, e.g. relevant for complex cascades of morphisms such as class locale interpretation;
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 22:05:25 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 21 Feb 2018 18:41:41 +0100 |
wenzelm |
explicit operations to instantiate frees: typ, term, thm, morphism;
|
file |
diff |
annotate
|
| Mon, 19 Feb 2018 14:49:11 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 18 Feb 2018 17:57:14 +0100 |
wenzelm |
more explicit instantiate_morphism (without checks for typ / term component);
|
file |
diff |
annotate
|
| Sun, 18 Feb 2018 16:31:56 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 02 Apr 2016 21:10:07 +0200 |
wenzelm |
careful export of type-dependent functions, without losing their special status;
|
file |
diff |
annotate
|
| Fri, 18 Mar 2016 16:26:35 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2016 15:23:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 31 Aug 2015 19:04:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 13 Dec 2013 20:20:15 +0100 |
wenzelm |
maintain morphism names for diagnostic purposes;
|
file |
diff |
annotate
|
| Mon, 19 Aug 2013 20:37:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 28 Oct 2011 15:38:41 +0200 |
wenzelm |
slightly more explicit/syntactic modelling of morphisms;
|
file |
diff |
annotate
|
| Mon, 31 May 2010 21:06:57 +0200 |
wenzelm |
modernized some structure names, keeping a few legacy aliases;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 22:26:49 +0100 |
wenzelm |
eliminated obsolete var morphism;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 16:47:32 +0100 |
haftmann |
binding is alias for Binding.T
|
file |
diff |
annotate
|
| Thu, 04 Dec 2008 14:43:33 +0100 |
haftmann |
cleaned up binding module and related code
|
file |
diff |
annotate
|
| Tue, 02 Sep 2008 14:10:19 +0200 |
wenzelm |
name/var morphism operates on Name.binding;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2007 22:01:06 +0200 |
wenzelm |
type Morphism.declaration;
|
file |
diff |
annotate
|
| Sat, 14 Apr 2007 00:46:20 +0200 |
wenzelm |
added Morphism.transform/form (generic non-sense);
|
file |
diff |
annotate
|
| Tue, 03 Apr 2007 19:24:17 +0200 |
wenzelm |
renamed comp to compose (avoid clash with Alice keywords);
|
file |
diff |
annotate
|
| Sun, 04 Feb 2007 22:02:15 +0100 |
wenzelm |
added cterm interface;
|
file |
diff |
annotate
|
| Fri, 24 Nov 2006 22:05:17 +0100 |
wenzelm |
simultaneous fact morphism;
|
file |
diff |
annotate
|
| Thu, 23 Nov 2006 20:33:28 +0100 |
wenzelm |
added name/var/typ/term/thm_morphism;
|
file |
diff |
annotate
|
| Thu, 23 Nov 2006 00:51:57 +0100 |
wenzelm |
Abstract morphisms on formal entities.
|
file |
diff |
annotate
|