Mon, 31 Oct 2005 16:35:15 +0100 nth_*, fold_index refined
haftmann [Mon, 31 Oct 2005 16:35:15 +0100] rev 18051
nth_*, fold_index refined
Mon, 31 Oct 2005 16:00:15 +0100 fold_index replacing foldln
haftmann [Mon, 31 Oct 2005 16:00:15 +0100] rev 18050
fold_index replacing foldln
Mon, 31 Oct 2005 01:43:22 +0100 A few new lemmas
nipkow [Mon, 31 Oct 2005 01:43:22 +0100] rev 18049
A few new lemmas
Sun, 30 Oct 2005 10:55:56 +0100 tuned my last commit
urbanc [Sun, 30 Oct 2005 10:55:56 +0100] rev 18048
tuned my last commit
Sun, 30 Oct 2005 10:37:57 +0100 simplified the abs_supp_approx proof and tuned some comments in
urbanc [Sun, 30 Oct 2005 10:37:57 +0100] rev 18047
simplified the abs_supp_approx proof and tuned some comments in nominal_permeq.ML
Sat, 29 Oct 2005 15:01:25 +0200 Changed Simplifier.simp_modifiers to Simplifier.simp_modifiers'.
urbanc [Sat, 29 Oct 2005 15:01:25 +0200] rev 18046
Changed Simplifier.simp_modifiers to Simplifier.simp_modifiers'. This means the syntax of the tactics supports_simp and perm_simp are exactly like simp, namely (supports_simp add: .... del: ...) where the add's and del's are optional.
Sat, 29 Oct 2005 14:37:32 +0200 1) have adjusted the swapping of the result type
urbanc [Sat, 29 Oct 2005 14:37:32 +0200] rev 18045
1) have adjusted the swapping of the result type in add_datatype_i 2) have replaced map_nth_elem by Library.nth_map (there seems to be a clash with an existing nth_map somewhere - therefore the "Library")
Fri, 28 Oct 2005 22:37:57 +0200 tuned;
wenzelm [Fri, 28 Oct 2005 22:37:57 +0200] rev 18044
tuned;
Fri, 28 Oct 2005 22:32:55 +0200 lthms_containing: not o valid_thms;
wenzelm [Fri, 28 Oct 2005 22:32:55 +0200] rev 18043
lthms_containing: not o valid_thms;
Fri, 28 Oct 2005 22:28:15 +0200 added fact_tac, some_fact_tac;
wenzelm [Fri, 28 Oct 2005 22:28:15 +0200] rev 18042
added fact_tac, some_fact_tac; retrieve_thms: support literal facts; tuned export interfaces;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip