Mon, 18 Oct 2004 11:43:40 +0200 Replaced list of bound variables in simpset by maximal index of bound
berghofe [Mon, 18 Oct 2004 11:43:40 +0200] rev 15249
Replaced list of bound variables in simpset by maximal index of bound variables. This allows new variable names to be generated more quickly (without calling variant).
Fri, 15 Oct 2004 18:49:16 +0200 record_split_simp_tac now can get simp rules as parameter
schirmer [Fri, 15 Oct 2004 18:49:16 +0200] rev 15248
record_split_simp_tac now can get simp rules as parameter
Fri, 15 Oct 2004 18:16:11 +0200 update
nipkow [Fri, 15 Oct 2004 18:16:11 +0200] rev 15247
update
Fri, 15 Oct 2004 18:16:03 +0200 added and renamed
nipkow [Fri, 15 Oct 2004 18:16:03 +0200] rev 15246
added and renamed
Thu, 14 Oct 2004 12:18:52 +0200 Added a few lemmas
nipkow [Thu, 14 Oct 2004 12:18:52 +0200] rev 15245
Added a few lemmas
Wed, 13 Oct 2004 07:40:13 +0200 mod becuase of chnage in induct
nipkow [Wed, 13 Oct 2004 07:40:13 +0200] rev 15244
mod becuase of chnage in induct
Tue, 12 Oct 2004 17:00:39 +0200 Added solution to exercise.
nipkow [Tue, 12 Oct 2004 17:00:39 +0200] rev 15243
Added solution to exercise.
Tue, 12 Oct 2004 16:59:56 +0200 *** empty log message ***
nipkow [Tue, 12 Oct 2004 16:59:56 +0200] rev 15242
*** empty log message ***
Tue, 12 Oct 2004 11:48:21 +0200 tweaks concerned with poly bug-fixing
paulson [Tue, 12 Oct 2004 11:48:21 +0200] rev 15241
tweaks concerned with poly bug-fixing
Mon, 11 Oct 2004 19:36:48 +0200 Replaced the_context() by theory "Presburger" in call of invoke_oracle.
berghofe [Mon, 11 Oct 2004 19:36:48 +0200] rev 15240
Replaced the_context() by theory "Presburger" in call of invoke_oracle.
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip