Mon, 12 Dec 2016 18:08:13 +0100 |
added structure Chead : CALC_HEAD
|
file | diff | annotate |
Thu, 27 Oct 2016 09:53:54 +0200 |
FINISED simplify handling of theorems
|
file | diff | annotate |
Sun, 20 Sep 2015 11:29:49 +0200 |
unified (Knowledge-)Context for thy, pbl, met
|
file | diff | annotate |
Mon, 30 Jun 2014 17:58:34 +0200 |
final considerations on parallel calculations
|
file | diff | annotate |
Fri, 13 Jun 2014 12:06:38 +0200 |
moved from "Unsynchronized.ref states" to "Synchronized.var states"
|
file | diff | annotate |
Fri, 06 Jun 2014 06:50:02 +0200 |
removed further Unsynchronized.ref
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Mon, 13 Sep 2010 18:12:15 +0200 |
ref --> Unsynchronized.ref tuned.
|
file | diff | annotate |
Mon, 13 Sep 2010 17:21:22 +0200 |
ref --> Unsynchronized.ref done
|
file | diff | annotate |
Wed, 08 Sep 2010 12:10:43 +0200 |
tuned
|
file | diff | annotate |
Wed, 25 Aug 2010 16:20:07 +0200 |
renamed isac's directories and Build_Isac.thy
|
file | diff | annotate | base |