src/sml/IsacKnowledge/Diff.thy
Thu, 17 Jan 2008 16:27:03 +0100 start-work-070517 merged into HEAD
Thu, 17 May 2007 12:31:32 +0200 sml: diff -n , -n/m intermediate
Tue, 13 Mar 2007 17:16:23 +0100 debugged a thm ;-)
Fri, 02 Mar 2007 17:43:39 +0100 replaced identifiers occupied by Biegelinien: Q,q,V (and O?!?)
Thu, 01 Mar 2007 15:26:34 +0100 repaired 'thm diff_const'
Tue, 27 Feb 2007 17:53:46 +0100 work in Diff and Differentiate
Fri, 23 Feb 2007 16:18:52 +0100 CAScmds Diff, Differentiate
Sun, 14 Aug 2005 13:42:54 +0200 added integration
Fri, 09 May 2003 23:16:31 +0200 *** empty log message ***
Thu, 17 Apr 2003 18:01:03 +0200 neues cvs-verzeichnis
Mon, 03 Dec 2007 15:59:34 +0100 prepare for demo at innsbruck 071206
Mon, 03 Dec 2007 15:54:09 +0100 prepare for demo at innsbruck 071206
Thu, 24 May 2007 18:27:21 +0200 follow-up team-day 070524
Fri, 18 May 2007 10:07:18 +0200 differentiat after simplification, eg. d_d x (x^3 * x^5)
Thu, 17 May 2007 17:06:43 +0200 sml: diff -n , n/m , -n/m finished