| Wed, 29 Dec 2010 20:07:52 +0100 |
intermed. in course/T3_MathEngine.thy
|
file | diff | annotate |
| Wed, 03 Nov 2010 11:54:53 +0100 |
----- final tests go through (test/../interface.sml)
|
file | diff | annotate |
| Wed, 03 Nov 2010 09:45:59 +0100 |
check 'autoCalculate 1 CompleteCalc': works for test/../integrate.sml
|
file | diff | annotate |
| Fri, 29 Oct 2010 15:54:16 +0200 |
trials on scala with inssort
|
file | diff | annotate |
| Thu, 28 Oct 2010 09:24:47 +0200 |
intermed. repair thehier, the hierarchy of thy/thm for access by isac.
|
file | diff | annotate |
| Mon, 11 Oct 2010 14:22:19 +0200 |
intermed. repair test/../thy-hierarchy.sml, thehier := the_hier ...
|
file | diff | annotate |
| Mon, 11 Oct 2010 12:55:40 +0200 |
intermed. repair Isac.thy, thehier := the_hier ...
|
file | diff | annotate |
| Sun, 10 Oct 2010 14:15:43 +0200 |
update finished for test/../integrate.sml
|
file | diff | annotate |
| Sat, 09 Oct 2010 16:20:02 +0200 |
intermed. test/../integrate.sml
|
file | diff | annotate |
| Sat, 09 Oct 2010 16:03:49 +0200 |
repaired Print_Mode.setmp [] ((Syntax.string_of_term
|
file | diff | annotate |
| Fri, 08 Oct 2010 18:51:23 +0200 |
repaired fun nxt_specify_
|
file | diff | annotate |
| Wed, 06 Oct 2010 14:35:43 +0200 |
rewriting in test/../integrate.sml works, too
|
file | diff | annotate |
| Tue, 05 Oct 2010 16:46:56 +0200 |
repaired 'fun calc_equ' for "op <", completed rewriting in test/../rational.sml
|
file | diff | annotate |
| Tue, 05 Oct 2010 15:28:32 +0200 |
renamed "op <" to "Orderings.ord_class.less" etc
|
file | diff | annotate |
| Tue, 05 Oct 2010 14:41:16 +0200 |
intermed. test/../rational.sml, before "op *" --> "Orderings.ord_class.less"
|
file | diff | annotate |
| Tue, 05 Oct 2010 09:17:48 +0200 |
updated print_exn
|
file | diff | annotate |
| Tue, 05 Oct 2010 08:35:55 +0200 |
intermed. test/../rational.sml
|
file | diff | annotate |
| Fri, 01 Oct 2010 17:27:55 +0200 |
tuned: shifted last tests into respective files
|
file | diff | annotate |
| Fri, 01 Oct 2010 16:23:03 +0200 |
intermed. 'fun parse_patt' fixes types to real (like 'parse')
|
file | diff | annotate |
| Fri, 01 Oct 2010 10:23:38 +0200 |
repaired 'prepat's, the patterns and preconditions for Rrls
|
file | diff | annotate |
| Tue, 28 Sep 2010 09:37:41 +0200 |
replaced Some,None --> SOME,NONE in all test/../isac/*
|
file | diff | annotate |
| Tue, 28 Sep 2010 08:58:06 +0200 |
interrupted test/../integrate.sml for calculate.
|
file | diff | annotate |
| Tue, 28 Sep 2010 07:28:10 +0200 |
repaired fun uminus_to_string, fun rewrite_terms_
|
file | diff | annotate |
| Mon, 27 Sep 2010 13:35:06 +0200 |
simplified testing by src/Tools/isac/Build_Test_Isac.thy
|
file | diff | annotate |