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 |