Wed, 02 Jul 2008 07:11:57 +0200 | haftmann | cleaned up some code generator configuration | file | diff | annotate |
Tue, 16 Oct 2007 23:12:45 +0200 | haftmann | global class syntax | file | diff | annotate |
Sun, 17 Jun 2007 18:47:03 +0200 | nipkow | tuned laws for cancellation in divisions for fields. | file | diff | annotate |
Fri, 15 Jun 2007 15:10:32 +0200 | nipkow | made divide_self a simp rule | file | diff | annotate |
Fri, 13 Apr 2007 00:07:52 +0200 | huffman | moved nonstandard derivative stuff from Deriv.thy into new file HDeriv.thy | file | diff | annotate |