src/Tools/Code/code_preproc.ML
Wed, 30 Sep 2009 23:30:37 +0200 wenzelm Sorts.of_sort_derivation: no pp here;
Wed, 09 Sep 2009 11:31:20 +0200 haftmann moved eq handling in nbe into separate oracle
Mon, 10 Aug 2009 12:24:49 +0200 haftmann moved all technical processing of code equations to code_thingol.ML
Mon, 10 Aug 2009 08:37:37 +0200 haftmann attempt to move desymbolization to translation
Fri, 31 Jul 2009 10:49:09 +0200 haftmann added a somehow clueless comment
Fri, 31 Jul 2009 09:34:05 +0200 haftmann cleaned up variable desymbolification and argument expansion
Wed, 22 Jul 2009 11:23:09 +0200 wenzelm merged, resolving trivial conflict;
Tue, 21 Jul 2009 15:44:31 +0200 haftmann integrated add_triv_classes into evaluation stack
Tue, 21 Jul 2009 01:03:18 +0200 wenzelm proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
Tue, 14 Jul 2009 16:27:34 +0200 haftmann added code_unfold_post attribute
Tue, 14 Jul 2009 10:54:04 +0200 haftmann code attributes use common underscore convention
Thu, 09 Jul 2009 22:48:12 +0200 wenzelm renamed structure TermSubst to Term_Subst;
Thu, 09 Jul 2009 22:01:41 +0200 wenzelm renamed functor TableFun to Table, and GraphFun to Graph;
Wed, 08 Jul 2009 08:18:07 +0200 haftmann tuned structure Code internally
Tue, 07 Jul 2009 17:21:27 +0200 haftmann tuned interface of structure Code
Tue, 23 Jun 2009 12:09:30 +0200 haftmann uniformly capitialized names for subdirectories
less more (0) tip