Mon, 22 Sep 2008 08:00:24 +0200 | haftmann | fixed headers | file | diff | annotate |
Tue, 06 Nov 2007 13:12:49 +0100 | haftmann | added explicit signature | file | diff | annotate |
Tue, 18 Sep 2007 07:36:38 +0200 | haftmann | separated code for inductive sequences from inductive_codegen.ML | file | diff | annotate |