Sun, 09 Oct 2022 07:44:22 +0200 |
eliminate term2str in test/*
|
file | diff | annotate |
Tue, 27 Jul 2021 11:21:14 +0200 |
revert previous changeset
|
file | diff | annotate |
Tue, 20 Jul 2021 14:37:56 +0200 |
//reduce the number of TermC.parse*; "//"means: tests broken .
|
file | diff | annotate |
Sun, 18 Jul 2021 18:15:27 +0200 |
merged
|
file | diff | annotate |
Sun, 18 Jul 2021 16:20:32 +0200 |
eliminate ThmC.numerals_to_Free: Test_Isac_Short.thy works with TOODOO s
|
file | diff | annotate |
Sat, 17 Jul 2021 14:05:28 +0200 |
replace "-*" by "- *" for numerals "*" in test/*
|
file | diff | annotate |
Mon, 21 Jun 2021 14:39:52 +0200 |
proper UTF-8;
|
file | diff | annotate |
Tue, 20 Apr 2021 16:58:44 +0200 |
replace power ^^^ by \<up>
|
file | diff | annotate |
Mon, 19 Apr 2021 15:02:00 +0200 |
long identifiers for occurences in test/../termC.sml
|
file | diff | annotate |
Wed, 20 May 2020 12:52:09 +0200 |
standard format for string lists
|
file | diff | annotate |
Tue, 12 May 2020 10:14:09 +0200 |
distribute code from old Specify/ptyps.sml
|
file | diff | annotate |
Mon, 11 May 2020 20:49:27 +0200 |
prep. remove Specify/mstools.sml
|
file | diff | annotate |
Sun, 10 May 2020 17:26:36 +0200 |
cleanup generate.sml, model.sml
|
file | diff | annotate |
Sat, 02 May 2020 11:36:13 +0200 |
remove Init_Proof, is NOT a tactic
|
file | diff | annotate |
Wed, 22 Apr 2020 11:06:48 +0200 |
shift Unsynchronized.ref for tracing to respect.struct.
|
file | diff | annotate |
Tue, 21 Apr 2020 16:53:17 +0200 |
Test_Isac_Short now ok.
|
file | diff | annotate |
Wed, 15 Apr 2020 11:11:54 +0200 |
cleanup handling of ThmC.sym_thm
|
file | diff | annotate |
Fri, 10 Apr 2020 18:32:36 +0200 |
use "UnparseC" for renaming identifiers
|
file | diff | annotate |
Thu, 09 Apr 2020 17:13:17 +0200 |
separate struct. UnparseC, shift code to ThmC
|
file | diff | annotate |
Mon, 06 Apr 2020 11:44:36 +0200 |
use "Rule_Set" for shorter identifiers
|
file | diff | annotate |
Tue, 31 Mar 2020 15:43:33 +0200 |
renaming, cleanup
|
file | diff | annotate |
Mon, 23 Mar 2020 17:51:35 +0100 |
make Check_elementwise' idle wrt. Calc.T
|
file | diff | annotate |
Wed, 18 Sep 2019 12:15:59 +0200 |
tests run in Test_Isac with ML_system_64 = "true", still exception Size
|
file | diff | annotate |
Tue, 22 Jan 2019 09:33:11 +0100 |
[-Test_Isac] funpack: in programs and spec.terms replace bdv by ''bdv''
|
file | diff | annotate |
Wed, 26 Dec 2018 14:24:05 +0100 |
[-Test_Isac] funpack: further replacement ID::type by char string
|
file | diff | annotate |
Wed, 14 Feb 2018 06:06:27 +0100 |
Isabelle2015->17: completed "normalise" cf. fb6f5ef2c647
|
file | diff | annotate |
Tue, 13 Feb 2018 15:14:55 +0100 |
Isabelle2015->17: "normalize" as identifier causes type clash now, etc
|
file | diff | annotate |
Mon, 07 Dec 2015 14:10:59 +0100 |
Isabelle2014-->15: closed Thm.thy applied to tests
|
file | diff | annotate |
Mon, 16 Sep 2013 12:20:00 +0200 |
Test_Isac works again, perfectly ..
|
file | diff | annotate |
Mon, 02 Sep 2013 16:16:08 +0200 |
Test_Isac works again, almost ..
|
file | diff | annotate |
Sun, 14 Oct 2012 20:00:27 +0200 |
2011-->2012: ...
|
file | diff | annotate |
Sat, 17 Mar 2012 11:06:46 +0100 |
uncomment test/../rateq.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
Wed, 14 Mar 2012 17:12:43 +0100 |
uncomment test/../rootrateq.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
Fri, 15 Apr 2011 15:58:52 +0200 |
added ctxt-test, updated get_assumptions_
|
file | diff | annotate |
Thu, 10 Mar 2011 16:04:00 +0100 |
intermed.update Isabelle2011: HOL.True
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Wed, 08 Sep 2010 16:47:22 +0200 |
tuned src + test
|
file | diff | annotate |
Wed, 08 Sep 2010 12:10:43 +0200 |
tuned
|
file | diff | annotate |
Mon, 30 Aug 2010 14:35:51 +0200 |
renamed test/* according to src/*
|
file | diff | annotate | base |