| Mon, 04 Apr 2011 11:05:07 +0200 |
intermed. context integration appl_add does not work
|
file | diff | annotate |
| Sat, 19 Mar 2011 15:09:19 +0100 |
changes only for testing
|
file | diff | annotate |
| Sat, 19 Mar 2011 15:03:36 +0100 |
intermed. usecase Diophant: usecase1 shifted into test/../mathengine.sml
|
file | diff | annotate |
| Sat, 19 Mar 2011 14:27:29 +0100 |
tuned
|
file | diff | annotate |
| Sat, 19 Mar 2011 13:06:19 +0100 |
intermed. usecase Diophant: usecase1 finished in Test_Isac.thy
|
file | diff | annotate |
| Fri, 18 Mar 2011 18:27:10 +0100 |
intermed. usecase Diophant: 2 steps decomposed
|
file | diff | annotate |
| Fri, 18 Mar 2011 17:24:56 +0100 |
intermed. usecase Diophant
|
file | diff | annotate |
| Fri, 18 Mar 2011 12:33:12 +0100 |
intermed. usecase Diophant: change usecase inttype
|
file | diff | annotate |
| Fri, 18 Mar 2011 09:26:03 +0100 |
intermed. usecase Diophant
|
file | diff | annotate |
| Thu, 17 Mar 2011 10:46:02 +0100 |
intermed usecase Diophant
|
file | diff | annotate |
| Thu, 17 Mar 2011 10:11:18 +0100 |
intermed. usecase Diophant
|
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 |
| Thu, 10 Mar 2011 15:12:55 +0100 |
intermed.update Isabelle2011: after fetch ?!?
|
file | diff | annotate |
| Thu, 10 Mar 2011 12:45:58 +0100 |
intermed.update Isabelle2011: HOL.Trueprop
|
file | diff | annotate |
| Mon, 21 Feb 2011 19:40:36 +0100 |
part.update Isabelle2011
|
file | diff | annotate |
| Fri, 31 Dec 2010 15:19:05 +0100 |
tuned
|
file | diff | annotate |
| Thu, 30 Dec 2010 14:25:19 +0100 |
tuned
|
file | diff | annotate |
| Thu, 30 Dec 2010 14:24:43 +0100 |
analysed 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, 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 |