| 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 |