Sat, 10 Mar 2012 09:41:09 +0100 |
uncomment test/../biegelinie (Isabelle 2002 --> 2011)
|
file | diff | annotate |
Tue, 11 Oct 2011 10:59:42 +0200 |
in Build_Inverse_Z_Transform one step further
|
file | diff | annotate |
Thu, 14 Jul 2011 09:33:57 +0200 |
added ADDTESTS/course/ml_quickstart/ML2_Functions.thy
|
file | diff | annotate |
Tue, 28 Jun 2011 15:14:00 +0200 |
intermed: make autocalc..CompleteCalc run with x+1=2
|
file | diff | annotate |
Fri, 20 May 2011 08:12:51 +0200 |
tuned
|
file | diff | annotate |
Thu, 19 May 2011 19:28:22 +0200 |
intermed. ctxt ..: add preconds in solve..Apply_Method
|
file | diff | annotate |
Fri, 13 May 2011 11:45:07 +0200 |
intermed. ctxt ..: extended PblObj with ctxt
|
file | diff | annotate |
Wed, 11 May 2011 14:58:07 +0200 |
intermed. ctxt ..: Add_Given doesnt work due to wrong ctxt in Subproblem
|
file | diff | annotate |
Wed, 11 May 2011 08:25:40 +0200 |
intermed. ctxt ..: interrupted -- make x+1=2 go through first
|
file | diff | annotate |
Wed, 11 May 2011 07:28:13 +0200 |
tuned
|
file | diff | annotate |
Thu, 05 May 2011 09:23:32 +0200 |
tuned
|
file | diff | annotate |
Wed, 04 May 2011 14:04:53 +0200 |
tuned
|
file | diff | annotate |
Wed, 04 May 2011 09:01:10 +0200 |
update all "Pair" to "Product_Type.Pair"
|
file | diff | annotate |
Mon, 21 Mar 2011 00:32:53 +0100 |
intermed. context integration: Isac compiles.
|
file | diff | annotate |
Wed, 03 Nov 2010 09:45:59 +0100 |
check 'autoCalculate 1 CompleteCalc': works for test/../integrate.sml
|
file | diff | annotate |
Wed, 06 Oct 2010 15:12:41 +0200 |
intermed. test/../integrate.sml in -- me method [diff,integration] --
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Thu, 23 Sep 2010 16:38:25 +0200 |
changed 'writeln' --> 'tracing' in src/ and _NOT_ in test/
|
file | diff | annotate |
Wed, 25 Aug 2010 16:20:07 +0200 |
renamed isac's directories and Build_Isac.thy
|
file | diff | annotate | base |