| Wed, 11 Mar 2020 15:25:52 +0100 |
start formally checked documentation with Lucas_Interpreter
|
file | diff | annotate |
| Thu, 07 Nov 2019 10:43:32 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
| Sun, 27 Oct 2019 12:10:57 +0100 |
lucin: replace Istate.safe by Istate.appy_
|
file | diff | annotate |
| Tue, 03 Sep 2019 12:40:27 +0200 |
lucin: reorganise theories in ProgLang
|
file | diff | annotate |
| Wed, 28 Aug 2019 11:21:26 +0200 |
reorganised MathEngine/ BridgeLibisabelle/
|
file | diff | annotate |
| Tue, 27 Aug 2019 15:31:45 +0200 |
[-Test_Isac ONLY biegelinie-1.sml] assign Input_Descript to Specify/-phase
|
file | diff | annotate |
| Sat, 24 Aug 2019 12:31:48 +0200 |
cleanup
|
file | diff | annotate |
| Mon, 26 Mar 2018 07:28:39 +0200 |
Rule: structure pushed to code files
|
file | diff | annotate |
| Thu, 22 Feb 2018 17:55:29 +0100 |
LTool: cleanup test file
|
file | diff | annotate |
| Mon, 06 Feb 2017 09:06:35 +0100 |
improved CLEANUP
|
file | diff | annotate |
| Mon, 10 Feb 2014 10:49:25 +0100 |
Poly: handling of representations II
|
file | diff | annotate |
| Tue, 14 Jan 2014 13:03:25 +0100 |
CLEANUP
|
file | diff | annotate |
| Tue, 31 Aug 2010 16:38:22 +0200 |
updating Knowledge/Simplify, changes ahead + in test
|
file | diff | annotate |
| Tue, 31 Aug 2010 11:10:30 +0200 |
cleanup preparing ./thms-replace-Isa02-Isa09-2.sml
|
file | diff | annotate |
| Wed, 25 Aug 2010 16:20:07 +0200 |
renamed isac's directories and Build_Isac.thy
|
file | diff | annotate |
| Wed, 18 Aug 2010 13:40:09 +0200 |
established thy-ctxt strategy (1..2) for ME/mstools.sml
|
file | diff | annotate |
| Thu, 12 Aug 2010 11:02:32 +0200 |
moved isac + test to final dire-structure
|
file | diff | annotate |