Fri, 06 May 2011 11:18:07 +0200 |
intermed. ctxt ..: cleanup before start with Add_Given
|
file | diff | annotate |
Mon, 04 Apr 2011 11:05:07 +0200 |
intermed. context integration appl_add does not work
|
file | diff | annotate |
Mon, 14 Mar 2011 16:50:44 +0100 |
intermed.update Isabelle2011: tests finished...
|
file | diff | annotate |
Thu, 10 Mar 2011 17:05:09 +0100 |
intermed.update Isabelle2011: Not --> HOL.Not
|
file | diff | annotate |
Thu, 10 Mar 2011 16:04:00 +0100 |
intermed.update Isabelle2011: HOL.True
|
file | diff | annotate |
Fri, 31 Dec 2010 15:19:05 +0100 |
tuned
|
file | diff | annotate |
Fri, 31 Dec 2010 14:54:02 +0100 |
removed error *** nxt_add: EX itm. not(dat(itm)<=dat(ori))
|
file | diff | annotate |
Wed, 29 Dec 2010 20:07:52 +0100 |
intermed. in course/T3_MathEngine.thy
|
file | diff | annotate |
Wed, 06 Oct 2010 15:12:41 +0200 |
intermed. test/../integrate.sml in -- me method [diff,integration] --
|
file | diff | annotate |
Fri, 01 Oct 2010 16:29:33 +0200 |
tuned: tests go through
|
file | diff | annotate |
Fri, 01 Oct 2010 16:23:03 +0200 |
intermed. 'fun parse_patt' fixes types to real (like 'parse')
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Wed, 08 Sep 2010 16:47:22 +0200 |
tuned src + test
|
file | diff | annotate |
Mon, 06 Sep 2010 15:53:18 +0200 |
updated Knowledge/Root.thy, plus changes ahead.
|
file | diff | annotate |
Mon, 06 Sep 2010 15:09:37 +0200 |
updated Knowledge/Equation.thy, plus changes ahead.
|
file | diff | annotate |
Mon, 06 Sep 2010 14:48:38 +0200 |
updated Knowledge/PolyMinus, plus some changes ahead
|
file | diff | annotate |
Thu, 02 Sep 2010 15:36:48 +0200 |
updates over all Knowledge/*: Scripts 'Calculate ...'
|
file | diff | annotate |
Wed, 01 Sep 2010 16:15:13 +0200 |
update thm_names Isa2002 --> Isa09-2 in Scripts
|
file | diff | annotate |
Wed, 01 Sep 2010 15:19:47 +0200 |
cleanup from the previous commit
|
file | diff | annotate |
Tue, 31 Aug 2010 16:38:22 +0200 |
updating Knowledge/Simplify, changes ahead + in test
|
file | diff | annotate |
Mon, 30 Aug 2010 14:35:51 +0200 |
renamed test/* according to src/*
|
file | diff | annotate | base |