Fri, 24 Jun 2005 04:18:48 +0200 shortened time out by 3h (gives up at 12:00h now).
kleing [Fri, 24 Jun 2005 04:18:48 +0200] rev 16559
shortened time out by 3h (gives up at 12:00h now). test should be finished by 10:00h usually.
Fri, 24 Jun 2005 03:16:52 +0200 made su[bp]/isu[bp] behave the same as their bsu[bp]..esu[bp] counterparts,
kleing [Fri, 24 Jun 2005 03:16:52 +0200] rev 16558
made su[bp]/isu[bp] behave the same as their bsu[bp]..esu[bp] counterparts, properly respect isastylescript now
Fri, 24 Jun 2005 01:09:16 +0200 needed for Isabelle independent build
kleing [Fri, 24 Jun 2005 01:09:16 +0200] rev 16557
needed for Isabelle independent build
Thu, 23 Jun 2005 22:11:55 +0200 added theorems fix_strict, fix_defined, fix_id, fix_const
huffman [Thu, 23 Jun 2005 22:11:55 +0200] rev 16556
added theorems fix_strict, fix_defined, fix_id, fix_const
Thu, 23 Jun 2005 22:10:29 +0200 add binder syntax for flift1
huffman [Thu, 23 Jun 2005 22:10:29 +0200] rev 16555
add binder syntax for flift1
Thu, 23 Jun 2005 22:08:24 +0200 add new file to test fixrec package
huffman [Thu, 23 Jun 2005 22:08:24 +0200] rev 16554
add new file to test fixrec package
Thu, 23 Jun 2005 22:07:30 +0200 add csplit3, ssplit3, fup3 as simp rules
huffman [Thu, 23 Jun 2005 22:07:30 +0200] rev 16553
add csplit3, ssplit3, fup3 as simp rules
Thu, 23 Jun 2005 21:27:23 +0200 New features:
huffman [Thu, 23 Jun 2005 21:27:23 +0200] rev 16552
New features: permissive option for fixrec to skip proofs of equations; side conditions for fixrec equations (for definedness); fixpat theorem names apply to entire group of theorems; improved error messages
Thu, 23 Jun 2005 21:17:26 +0200 added match functions for spair, sinl, sinr
huffman [Thu, 23 Jun 2005 21:17:26 +0200] rev 16551
added match functions for spair, sinl, sinr
Thu, 23 Jun 2005 19:40:03 +0200 fixed \<Prod> syntax
nipkow [Thu, 23 Jun 2005 19:40:03 +0200] rev 16550
fixed \<Prod> syntax
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip