Thu, 23 Sep 2010 12:56:51 +0200 |
interrupted update test/../Knowledge/integrate.sml, repaired term2str
|
file | diff | annotate |
Tue, 14 Sep 2010 15:46:56 +0200 |
repaired copy_nam
|
file | diff | annotate |
Wed, 08 Sep 2010 17:20:03 +0200 |
tuned
|
file | diff | annotate |
Wed, 08 Sep 2010 16:47:22 +0200 |
tuned src + test
|
file | diff | annotate |
Mon, 06 Sep 2010 15:09:37 +0200 |
updated Knowledge/Equation.thy, plus changes ahead.
|
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 |