Fri, 31 Jul 2020 12:21:34 +0200 |
prep.2 recursion Problem .. Solution
|
file | diff | annotate |
Fri, 10 Apr 2020 15:02:50 +0200 |
rename directory CalcElements to BaseDefinitions
|
file | diff | annotate |
Thu, 07 Nov 2019 10:43:32 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
Sun, 27 Oct 2019 12:10:57 +0100 |
lucin: replace Istate.safe by Istate.appy_
|
file | diff | annotate |
Wed, 28 Aug 2019 11:21:26 +0200 |
reorganised MathEngine/ BridgeLibisabelle/
|
file | diff | annotate |
Tue, 27 Aug 2019 15:31:45 +0200 |
[-Test_Isac ONLY biegelinie-1.sml] assign Input_Descript to Specify/-phase
|
file | diff | annotate |
Sat, 24 Aug 2019 12:31:48 +0200 |
cleanup
|
file | diff | annotate |
Wed, 07 Feb 2018 11:21:54 +0100 |
Isabelle2015->17: header in thys dropped
|
file | diff | annotate |
Mon, 06 Feb 2017 09:06:35 +0100 |
improved CLEANUP
|
file | diff | annotate |
Sun, 13 Sep 2015 12:25:30 +0200 |
updated tests to changes in 636013c7949f
|
file | diff | annotate |
Fri, 14 Dec 2012 10:21:34 +0100 |
accumulate values in Isac.thy, further trials
|
file | diff | annotate |
Thu, 05 Apr 2012 16:44:21 +0200 |
intermed.
|
file | diff | annotate |
Sat, 10 Mar 2012 09:41:09 +0100 |
uncomment test/../biegelinie (Isabelle 2002 --> 2011)
|
file | diff | annotate |
Sun, 08 Jan 2012 08:41:35 +0100 |
Build_Inverse_Z_Transform ready for continuation
|
file | diff | annotate |
Fri, 23 Sep 2011 08:30:35 +0200 |
repair ctxt in locate_gen
|
file | diff | annotate |
Fri, 20 May 2011 13:43:25 +0200 |
intermed. ctxt ..: generate1..Check_Postcond..(*map str2term asm*)
|
file | diff | annotate |
Fri, 06 May 2011 11:18:07 +0200 |
intermed. ctxt ..: cleanup before start with Add_Given
|
file | diff | annotate |
Wed, 01 Sep 2010 15:19:47 +0200 |
cleanup from the previous commit
|
file | diff | annotate |