Mon, 26 Aug 2019 17:40:27 +0200 |
rename Isac.thy --> Isac_Knowledge.thy
|
file | diff | annotate |
Sat, 22 Jun 2019 14:34:06 +0200 |
funpack: remove code unnecessary after switch to partial_function, partially
|
file | diff | annotate |
Sat, 22 Jun 2019 13:15:52 +0200 |
funpack: repair remaining test/../partial_fractions.sml, inverse_z_transform.sml
|
file | diff | annotate |
Sat, 01 Jun 2019 11:09:19 +0200 |
[-Test_Isac] funpack: repair errors in test, spot remaining errors
|
file | diff | annotate |
Wed, 29 May 2019 14:22:31 +0200 |
[-Test_Isac] funpack: switched also fun formal_args
|
file | diff | annotate |
Thu, 04 Apr 2019 17:52:52 +0200 |
[-Test_Isac] code cleanup & tests from previous changeset
|
file | diff | annotate |
Mon, 14 Jan 2019 18:15:19 +0100 |
[-Test_Isac] funpack: repaired test/../rewtools.sml
|
file | diff | annotate |
Mon, 31 Dec 2018 14:15:19 +0100 |
[-Test_Isac] funpack: repaired test/../scrtools.sml
|
file | diff | annotate |
Mon, 27 Aug 2018 15:57:45 +0200 |
sabelle2017->18: for Test_Isac.thy minor changes
|
file | diff | annotate |
Tue, 13 Mar 2018 14:41:02 +0100 |
TermC: clean test files, Test_Isac OK
|
file | diff | annotate |
Wed, 07 Mar 2018 14:20:33 +0100 |
TermC: clean source file
|
file | diff | annotate |
Wed, 07 Mar 2018 13:04:44 +0100 |
TermC: clean source file, partially
|
file | diff | annotate |
Wed, 07 Feb 2018 15:00:37 +0100 |
Isabelle2015->17: new negation "~ " --> "<not> "
|
file | diff | annotate |
Tue, 06 Feb 2018 16:18:43 +0100 |
Isabelle2015->17: transfer changes from src/ to test/
|
file | diff | annotate |
Mon, 07 Dec 2015 14:10:59 +0100 |
Isabelle2014-->15: closed Thm.thy applied to tests
|
file | diff | annotate |
Mon, 20 Apr 2015 14:18:40 +0200 |
update test/ to Isabelle2014 (~ updates of src/)
|
file | diff | annotate |
Thu, 21 Nov 2013 18:12:17 +0100 |
Isabelle2013 --> 2013-1: Test_Isac perfect
|
file | diff | annotate |
Mon, 02 Sep 2013 16:16:08 +0200 |
Test_Isac works again, almost ..
|
file | diff | annotate |
Mon, 22 Jul 2013 13:52:18 +0200 |
--- Test_Isac.thy runs all tests
|
file | diff | annotate |
Thu, 20 Jun 2013 11:26:56 +0200 |
plans for isac's transitions Isabelle2011-->12 and Isabelle2012-->13
|
file | diff | annotate |
Fri, 12 Oct 2012 17:06:58 +0200 |
2011-->2012: ProofContext-->Proof_Context
|
file | diff | annotate |
Tue, 31 Jul 2012 15:16:47 +0200 |
prepared for fun stepToErrorPatterns
|
file | diff | annotate |
Thu, 17 May 2012 12:43:04 +0200 |
fun get_bdv_subst: get a substitution for bound variables from a program
|
file | diff | annotate |
Tue, 26 Jul 2011 14:35:06 +0200 |
uncomment tests, compared with akargl
|
file | diff | annotate |
Mon, 25 Jul 2011 14:18:08 +0200 |
intermed: update test/../ProgLang
|
file | diff | annotate |
Mon, 25 Jul 2011 08:10:33 +0200 |
update test/../termC.sml
|
file | diff | annotate |
Fri, 22 Jul 2011 17:28:24 +0200 |
restore Isabelle setup completed
|
file | diff | annotate |
Fri, 22 Jul 2011 15:57:22 +0200 |
intermed: uncomment tests
|
file | diff | annotate |
Thu, 21 Jul 2011 16:57:21 +0200 |
intermed: uncomment test
|
file | diff | annotate |
Thu, 10 Mar 2011 12:45:58 +0100 |
intermed.update Isabelle2011: HOL.Trueprop
|
file | diff | annotate |
Fri, 08 Oct 2010 18:51:23 +0200 |
repaired fun nxt_specify_
|
file | diff | annotate |
Fri, 01 Oct 2010 16:23:03 +0200 |
intermed. 'fun parse_patt' fixes types to real (like 'parse')
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Tue, 28 Sep 2010 07:28:10 +0200 |
repaired fun uminus_to_string, fun rewrite_terms_
|
file | diff | annotate |