Wed, 11 Aug 2010 12:24:24 +0200 | haftmann | moved theory-level target operation fragements to Generic_Target; adjusted bootstrap order | file | diff | annotate |
Tue, 10 Aug 2010 15:09:39 +0200 | haftmann | basic renumbering | file | diff | annotate |
Tue, 10 Aug 2010 14:57:58 +0200 | haftmann | separated type from term parameters | file | diff | annotate |
Tue, 10 Aug 2010 14:53:41 +0200 | haftmann | moved extra_tfrees check for mixfix syntax to Generic_Target | file | diff | annotate |
Tue, 10 Aug 2010 14:47:22 +0200 | haftmann | name and argument grouping tuning | file | diff | annotate |
Tue, 10 Aug 2010 14:42:30 +0200 | haftmann | whitespace tuning | file | diff | annotate |
Tue, 10 Aug 2010 14:15:44 +0200 | haftmann | added generic_target.ML | file | diff | annotate |