Mon, 28 Sep 2009 10:20:21 +0200 | haftmann | avoid compound fields in datatype info record | file | diff | annotate |
Sun, 27 Sep 2009 09:52:23 +0200 | haftmann | registering split rules and projected induction rules; ML identifiers more close to Isar theorem names | file | diff | annotate |
Tue, 21 Jul 2009 15:52:30 +0200 | haftmann | dropped ancient flat_names option | file | diff | annotate |
Fri, 10 Jul 2009 07:59:27 +0200 | haftmann | dropped find_index_eq | file | diff | annotate |
Mon, 06 Jul 2009 14:19:13 +0200 | haftmann | moved Inductive.myinv to Fun.inv; tuned | file | diff | annotate |
Tue, 23 Jun 2009 12:09:30 +0200 | haftmann | uniformly capitialized names for subdirectories | file | diff | annotate | base |