Wed, 16 May 2012 15:01:47 +0200 |
prep. extend "type met" with errpaty
|
file | diff | annotate |
Fri, 04 May 2012 17:33:31 +0200 |
prep met ["SignalProcessing", "Z_Transform", "Inverse_sub"]
|
file | diff | annotate |
Wed, 14 Mar 2012 10:59:36 +0100 |
uncomment test/../eqsystem.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
Tue, 13 Mar 2012 15:04:09 +0100 |
uncomment test/../ptyps.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
Sat, 10 Sep 2011 10:37:24 +0200 |
method ["PolyEq", "solve_d2_polyeq_pq_equation"] works for jrocnik
|
file | diff | annotate |
Fri, 13 May 2011 17:19:38 +0200 |
intermed. ctxt ..: x+1=2 now goes until Check_elementwise
|
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 07:28:13 +0200 |
tuned
|
file | diff | annotate |
Thu, 05 May 2011 14:21:54 +0200 |
intermed. ctxt over all minisubpbl x+1=2
|
file | diff | annotate |
Thu, 05 May 2011 09:23:32 +0200 |
tuned
|
file | diff | annotate |
Mon, 18 Apr 2011 15:53:36 +0200 |
copyright name added
|
file | diff | annotate |
Fri, 08 Apr 2011 15:16:08 +0200 |
intermed. context integration: parse replaced in some cases
|
file | diff | annotate |
Mon, 04 Apr 2011 11:05:07 +0200 |
intermed. context integration appl_add does not work
|
file | diff | annotate |
Mon, 21 Feb 2011 19:40:36 +0100 |
part.update Isabelle2011
|
file | diff | annotate |
Mon, 11 Oct 2010 14:22:50 +0200 |
tuned
|
file | diff | annotate |
Sat, 09 Oct 2010 16:03:49 +0200 |
repaired Print_Mode.setmp [] ((Syntax.string_of_term
|
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: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 |
Thu, 23 Sep 2010 08:43:36 +0200 |
repaired is_copy_named, cpy_nam and improved tests & comments
|
file | diff | annotate |
Tue, 14 Sep 2010 12:12:42 +0200 |
adapted is_copy_named from v___ to v'''
|
file | diff | annotate |
Mon, 13 Sep 2010 17:21:22 +0200 |
ref --> Unsynchronized.ref done
|
file | diff | annotate |
Wed, 08 Sep 2010 12:10:43 +0200 |
tuned
|
file | diff | annotate |
Fri, 03 Sep 2010 12:33:16 +0200 |
impl. parse_patt into fun prep_pbt, prep_met
|
file | diff | annotate |
Wed, 25 Aug 2010 16:20:07 +0200 |
renamed isac's directories and Build_Isac.thy
|
file | diff | annotate | base |