Fri, 07 Feb 2020 12:36:08 +0100 |
LI: rename Lucin to LI
|
file | diff | annotate |
Tue, 04 Feb 2020 17:11:54 +0100 |
lucin: rename central structure to Lucin
|
file | diff | annotate |
Fri, 17 Jan 2020 12:37:21 +0100 |
lucin: renaming
|
file | diff | annotate |
Mon, 23 Dec 2019 16:38:09 +0100 |
rm code replaced in previous change set
|
file | diff | annotate |
Wed, 18 Dec 2019 11:31:31 +0100 |
lucin: plan for new identifiers of steps
|
file | diff | annotate |
Fri, 29 Nov 2019 15:22:29 +0100 |
lucin: fun determine_next_tactic gets envisaged arguments
|
file | diff | annotate |
Wed, 06 Nov 2019 15:08:27 +0100 |
lucin: args of appy, assy & Co reorganised
|
file | diff | annotate |
Wed, 02 Oct 2019 16:02:17 +0200 |
lucin: use #> in Program in analogy to #> in Isabelle/ML
|
file | diff | annotate |
Tue, 01 Oct 2019 10:47:25 +0200 |
lucin: drop unused bool argument in tactic Rewrite*Inst
|
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 |
Mon, 26 Aug 2019 17:40:27 +0200 |
rename Isac.thy --> Isac_Knowledge.thy
|
file | diff | annotate |
Tue, 25 Jun 2019 12:48:24 +0200 |
lucin: rename 3 main functions of lucase-interpreter.sml
|
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 |
Thu, 22 Dec 2016 11:36:20 +0100 |
renamed Ctree.ptree --> Ctree.ctree
|
file | diff | annotate |
Mon, 07 Dec 2015 14:10:59 +0100 |
Isabelle2014-->15: closed Thm.thy applied to tests
|
file | diff | annotate |
Mon, 11 Oct 2010 13:31:22 +0200 |
removed all ".thy" in src/ and test/
|
file | diff | annotate |
Wed, 06 Oct 2010 15:12:41 +0200 |
intermed. test/../integrate.sml in -- me method [diff,integration] --
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Mon, 06 Sep 2010 15:09:37 +0200 |
updated Knowledge/Equation.thy, plus changes ahead.
|
file | diff | annotate |
Wed, 01 Sep 2010 15:17:43 +0200 |
fixed all @{thm } in src+test
|
file | diff | annotate |
Tue, 31 Aug 2010 16:38:22 +0200 |
updating Knowledge/Simplify, changes ahead + in test
|
file | diff | annotate |
Fri, 20 Aug 2010 12:25:37 +0200 |
finished update ME/calchead.sml + pushed updates over all sml+test
|
file | diff | annotate |
Wed, 18 Aug 2010 13:55:23 +0200 |
replaced None-->NONE, Some-->SOME over all files
|
file | diff | annotate |
Thu, 12 Aug 2010 11:02:32 +0200 |
moved isac + test to final dire-structure
|
file | diff | annotate |