#
658cb625 |
|
03-Jun-2019 |
wenzelm <none@none> |
clarified transfer_morphism: implicit join_certificate, e.g. relevant for complex cascades of morphisms such as class locale interpretation;
|
#
de977d72 |
|
24-Sep-2018 |
wenzelm <none@none> |
tuned signature;
|
#
bd3048b2 |
|
21-Feb-2018 |
wenzelm <none@none> |
explicit operations to instantiate frees: typ, term, thm, morphism;
|
#
fad9031b |
|
19-Feb-2018 |
wenzelm <none@none> |
tuned signature;
|
#
db2e05de |
|
18-Feb-2018 |
wenzelm <none@none> |
more explicit instantiate_morphism (without checks for typ / term component);
|
#
19e18c30 |
|
18-Feb-2018 |
wenzelm <none@none> |
tuned;
|
#
fd5f3b5a |
|
02-Apr-2016 |
wenzelm <none@none> |
careful export of type-dependent functions, without losing their special status;
|
#
13be7d54 |
|
18-Mar-2016 |
wenzelm <none@none> |
clarified modules; tuned signature;
|
#
dccdabe3 |
|
03-Mar-2016 |
wenzelm <none@none> |
clarified modules; tuned signature;
|
#
6fc22de7 |
|
31-Aug-2015 |
wenzelm <none@none> |
tuned signature;
|
#
116fd647 |
|
13-Dec-2013 |
wenzelm <none@none> |
maintain morphism names for diagnostic purposes;
|
#
da2c6758 |
|
19-Aug-2013 |
wenzelm <none@none> |
tuned signature;
|
#
4bc0a98d |
|
28-Oct-2011 |
wenzelm <none@none> |
slightly more explicit/syntactic modelling of morphisms;
|
#
c25c5530 |
|
31-May-2010 |
wenzelm <none@none> |
modernized some structure names, keeping a few legacy aliases;
|
#
a6048cae |
|
21-Jan-2009 |
wenzelm <none@none> |
eliminated obsolete var morphism;
|
#
5823ee39 |
|
21-Jan-2009 |
haftmann <none@none> |
binding is alias for Binding.T
|
#
e01ddee4 |
|
04-Dec-2008 |
haftmann <none@none> |
cleaned up binding module and related code
|
#
058e1ea3 |
|
02-Sep-2008 |
wenzelm <none@none> |
name/var morphism operates on Name.binding;
|
#
51a783eb |
|
28-Jul-2007 |
wenzelm <none@none> |
type Morphism.declaration;
|
#
1f3facb7 |
|
13-Apr-2007 |
wenzelm <none@none> |
added Morphism.transform/form (generic non-sense);
|
#
f6812096 |
|
03-Apr-2007 |
wenzelm <none@none> |
renamed comp to compose (avoid clash with Alice keywords);
|
#
cbb48d88 |
|
04-Feb-2007 |
wenzelm <none@none> |
added cterm interface;
|
#
c0c5d55f |
|
24-Nov-2006 |
wenzelm <none@none> |
simultaneous fact morphism;
|
#
20e59072 |
|
23-Nov-2006 |
wenzelm <none@none> |
added name/var/typ/term/thm_morphism; removed transfer;
|
#
a78fa238 |
|
22-Nov-2006 |
wenzelm <none@none> |
Abstract morphisms on formal entities.
|