Mon, 25 Nov 2019 16:39:52 +0100 |
lucin: renaming in scanning the parse-tree
|
file | diff | annotate |
Thu, 21 Nov 2019 15:31:32 +0100 |
lucin: shift datatype, rename
|
file | diff | annotate |
Wed, 13 Nov 2019 16:47:34 +0100 |
lucin: remove step-construction by Rrls
|
file | diff | annotate |
Wed, 13 Nov 2019 15:52:03 +0100 |
lucin: renaming in structure Istate
|
file | diff | annotate |
Thu, 07 Nov 2019 10:43:32 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
Thu, 07 Nov 2019 09:22:05 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
Wed, 06 Nov 2019 15:08:27 +0100 |
lucin: args of appy, assy & Co reorganised
|
file | diff | annotate |
Thu, 31 Oct 2019 10:41:42 +0100 |
lucin: extend Pstate with an additional flag
|
file | diff | annotate |
Wed, 30 Oct 2019 11:02:41 +0100 |
lucin: extend istate with rule-set vor evaluation
|
file | diff | annotate |
Sat, 19 Oct 2019 14:59:09 +0200 |
lucin: assimilate signatures
|
file | diff | annotate |
Fri, 18 Oct 2019 16:18:14 +0200 |
lucin: cleanup args in lucas-interpreter, preps 2
|
file | diff | annotate |
Thu, 29 Aug 2019 10:59:57 +0200 |
separate Prog_Tac.thy
|
file | diff | annotate |
Thu, 22 Aug 2019 16:48:04 +0200 |
lucin: rename Script --> Program
|
file | diff | annotate |
Thu, 22 Aug 2019 12:18:58 +0200 |
lucin: renaming from "script" to "program"
|
file | diff | annotate |
Wed, 03 Jul 2019 15:09:16 +0200 |
lucin: fix Test_Isac, rename aux-funs in lucas-interpreter.
|
file | diff | annotate |
Tue, 25 Jun 2019 12:48:24 +0200 |
lucin: rename 3 main functions of lucase-interpreter.sml
|
file | diff | annotate |
Thu, 22 Dec 2016 11:36:20 +0100 |
renamed Ctree.ptree --> Ctree.ctree
|
file | diff | annotate |
Thu, 20 Oct 2016 10:26:29 +0200 |
simplify handling of theorems
|
file | diff | annotate |
Thu, 21 Nov 2013 18:12:17 +0100 |
Isabelle2013 --> 2013-1: Test_Isac perfect
|
file | diff | annotate |
Wed, 05 Dec 2012 15:56:38 +0100 |
Test_Isac.thy works until "Interpret/mstools.sml"
|
file | diff | annotate |
Tue, 31 Jul 2012 15:16:47 +0200 |
prepared for fun stepToErrorPatterns
|
file | diff | annotate |
Sat, 17 Mar 2012 11:06:46 +0100 |
uncomment test/../rateq.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
Sat, 10 Mar 2012 09:41:09 +0100 |
uncomment test/../biegelinie (Isabelle 2002 --> 2011)
|
file | diff | annotate |
Sat, 21 May 2011 09:40:02 +0200 |
tuned
|
file | diff | annotate |