nipkow [Fri, 16 May 2014 09:19:15 +0200] rev 56977
new syntax for card, normalized spacing for #
haftmann [Thu, 15 May 2014 16:46:29 +0200] rev 56976
clarified stylized status of sandwich algebra
haftmann [Thu, 15 May 2014 16:38:33 +0200] rev 56975
dropped dead code
haftmann [Thu, 15 May 2014 16:38:32 +0200] rev 56974
accurate separation of static and dynamic context
haftmann [Thu, 15 May 2014 16:38:31 +0200] rev 56973
syntactic means to prevent accidental mixup of static and dynamic context
haftmann [Thu, 15 May 2014 16:38:31 +0200] rev 56972
proper separation of static and dynamic context
haftmann [Thu, 15 May 2014 16:38:30 +0200] rev 56971
optimization for trivial cases
haftmann [Thu, 15 May 2014 16:38:29 +0200] rev 56970
modernized setup
haftmann [Thu, 15 May 2014 16:38:29 +0200] rev 56969
dropped obsolete hand-waving adjustion of type variables: safely done in preprocessor
haftmann [Thu, 15 May 2014 16:38:28 +0200] rev 56968
unified approach toward conversions and simple term rewriting in preprocessor by means of sandwiches