| Thu, 29 Aug 2019 13:52:47 +0200 |
prep. re-organisation of thys in ProgLang
|
file | diff | annotate |
| Thu, 29 Aug 2019 10:59:57 +0200 |
separate Prog_Tac.thy
|
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 |
| Mon, 26 Aug 2019 09:20:07 +0200 |
cleanup Tools.thy, Descript.thy, Atools.thy
|
file | diff | annotate |
| Sat, 24 Aug 2019 12:31:48 +0200 |
cleanup
|
file | diff | annotate |
| Fri, 23 Aug 2019 17:23:25 +0200 |
remove Delete.thy
|
file | diff | annotate |
| Fri, 23 Aug 2019 16:36:47 +0200 |
collect all defitions for both, ProgLang/ & Interpret/
|
file | diff | annotate |
| Thu, 22 Aug 2019 16:48:04 +0200 |
lucin: rename Script --> Program
|
file | diff | annotate |
| Sat, 01 Jun 2019 11:09:19 +0200 |
[-Test_Isac] funpack: repair errors in test, spot remaining errors
|
file | diff | annotate |
| Thu, 30 May 2019 12:04:55 +0200 |
[-Test_Isac] funpack: switch auto-generated programs to partial_function
|
file | diff | annotate |
| Wed, 20 Mar 2019 15:27:46 +0100 |
[-Test_Isac] unify TermC.coeff_in with occurs_in
|
file | diff | annotate |
| Wed, 13 Mar 2019 18:59:59 +0100 |
[-Test_Isac] coeff_in adapts to Const ("Partial_Fractions.AA, _), calls come later
|
file | diff | annotate |
| Mon, 31 Dec 2018 14:49:16 +0100 |
[-Test_Isac] add an overlooked structure
|
file | diff | annotate |
| Wed, 21 Nov 2018 12:32:54 +0100 |
update to new Isabelle conventions: {*...*} to \<open>...\<close>
|
file | diff | annotate |
| Thu, 23 Aug 2018 11:01:03 +0200 |
Isabelle2017->18: ProgLang, Interpret compile
|
file | diff | annotate |
| Wed, 11 Apr 2018 14:44:46 +0200 |
partial_function: start cleaning programs, biegelinie for paper
|
file | diff | annotate |
| Tue, 03 Apr 2018 14:50:58 +0200 |
partial_function: shift respective thys to ProgLang
|
file | diff | annotate | base |