| Thu, 22 Dec 2016 11:36:20 +0100 |
renamed Ctree.ptree --> Ctree.ctree
|
file | diff | annotate |
| Wed, 14 Dec 2016 10:45:41 +0100 |
redesigned inout, mout (since 2003 for interface Kernel - Java)
|
file | diff | annotate |
| Thu, 20 Oct 2016 10:26:29 +0200 |
simplify handling of theorems
|
file | diff | annotate |
| Wed, 05 Oct 2016 13:09:54 +0200 |
cleaned tests from autoCalculate' (removed ')
|
file | diff | annotate |
| Mon, 20 Apr 2015 14:18:40 +0200 |
update test/ to Isabelle2014 (~ updates of src/)
|
file | diff | annotate |
| Fri, 13 Jun 2014 12:42:15 +0200 |
autoCalculate now parallelized
|
file | diff | annotate |
| Fri, 13 Jun 2014 12:06:38 +0200 |
moved from "Unsynchronized.ref states" to "Synchronized.var states"
|
file | diff | annotate |
| Thu, 21 Nov 2013 18:12:17 +0100 |
Isabelle2013 --> 2013-1: Test_Isac perfect
|
file | diff | annotate |
| Fri, 12 Oct 2012 17:06:58 +0200 |
2011-->2012: ProofContext-->Proof_Context
|
file | diff | annotate |
| Sat, 17 Mar 2012 11:06:46 +0100 |
uncomment test/../rateq.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Sat, 07 Jan 2012 10:06:06 +0100 |
invisible changes in calculations are possible now.
|
file | diff | annotate |
| Wed, 27 Jul 2011 13:04:57 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Tue, 26 Jul 2011 15:52:07 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Tue, 26 Jul 2011 11:36:35 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Tue, 26 Jul 2011 09:38:07 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Mon, 25 Jul 2011 17:44:19 +0200 |
intermed. updated test + Test_Z_Transform.thy etc
|
file | diff | annotate |
| Tue, 19 Jul 2011 14:01:27 +0200 |
test/../* "equality (1+-1*2+x=0)" --> "equality (1+-1*2+x=(0::real))",
|
file | diff | annotate |
| Tue, 19 Jul 2011 13:07:28 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Tue, 19 Jul 2011 09:43:01 +0200 |
intermed: uncomment tests with CompleteCalc
|
file | diff | annotate |
| Sun, 15 May 2011 11:32:41 +0200 |
intermed. ctxt ..: checked all occurrences of ProofContext.init_global
|
file | diff | annotate |
| Fri, 13 May 2011 17:19:38 +0200 |
intermed. ctxt ..: x+1=2 now goes until Check_elementwise
|
file | diff | annotate |
| Fri, 13 May 2011 14:15:59 +0200 |
tuned
|
file | diff | annotate |
| Wed, 04 May 2011 09:01:10 +0200 |
update all "Pair" to "Product_Type.Pair"
|
file | diff | annotate |
| Tue, 03 May 2011 16:20:55 +0200 |
provided all "x+1=2" with typeconstraint real ("equality" is just bool)
|
file | diff | annotate |
| Tue, 03 May 2011 11:16:55 +0200 |
updated all 'Const ("Let"..' to 'Const ("HOL.Let"..'
|
file | diff | annotate |
| Fri, 15 Apr 2011 17:07:34 +0200 |
intermed. ctxt integration - assumptions now in context
|
file | diff | annotate |
| Thu, 07 Apr 2011 16:31:05 +0200 |
intermed. context integration
|
file | diff | annotate |
| Wed, 06 Apr 2011 18:01:02 +0200 |
intermed. context introduction to specification phase
|
file | diff | annotate |
| Mon, 04 Apr 2011 11:05:07 +0200 |
intermed. context integration appl_add does not work
|
file | diff | annotate |
| Sat, 19 Mar 2011 13:06:19 +0100 |
intermed. usecase Diophant: usecase1 finished in Test_Isac.thy
|
file | diff | annotate |
| Mon, 11 Oct 2010 13:31:22 +0200 |
removed all ".thy" in src/ and test/
|
file | diff | annotate |
| Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
| Mon, 30 Aug 2010 14:35:51 +0200 |
renamed test/* according to src/*
|
file | diff | annotate | base |