| Thu, 15 Mar 2018 10:17:44 +0100 |
separate structure Celem: CALC_ELEMENT, all but Knowledge/
|
file | diff | annotate |
| Wed, 07 Mar 2018 13:15:21 +0100 |
TermC: clean source file, partially
|
file | diff | annotate |
| Fri, 02 Mar 2018 16:19:02 +0100 |
TermC: clean signature, partially
|
file | diff | annotate |
| Fri, 02 Mar 2018 14:19:59 +0100 |
separate structure TermC : TERMC
|
file | diff | annotate |
| Tue, 18 Oct 2016 12:05:03 +0200 |
back-track after desing error in previous changeset
|
file | diff | annotate |
| Thu, 08 Sep 2016 13:28:36 +0200 |
insertion sort: changed delimiter
|
file | diff | annotate |
| Fri, 26 Aug 2016 12:25:03 +0200 |
separate 'type xlist' for Lucas-Interpretation
|
file | diff | annotate |
| Wed, 13 Jan 2016 14:37:27 +0100 |
cleanup theory imports, part 1
|
file | diff | annotate |
| Thu, 24 Oct 2013 15:00:44 +0200 |
removed all code concerned with "ruleset' = Unsynchronized.ref"
|
file | diff | annotate |
| Mon, 21 Oct 2013 09:03:50 +0200 |
"axiomatization" replaces "axioms" preparing for Isabelle2013-1
|
file | diff | annotate |
| Sun, 29 Sep 2013 18:27:37 +0200 |
collected updates since changeset 9690a8d5f1c
|
file | diff | annotate |
| Thu, 26 Sep 2013 14:52:23 +0200 |
[-Build_Isac] Unsynchronized.ref require specific techniques of investigation
|
file | diff | annotate |
| Fri, 20 Sep 2013 15:26:24 +0200 |
add Theory_Data to prepare removal of Unsynchronized.ref
|
file | diff | annotate |
| Sun, 16 Jun 2013 12:31:41 +0200 |
Isabelle2011 --> 2012 intermediate
|
file | diff | annotate |
| Fri, 12 Oct 2012 17:06:58 +0200 |
2011-->2012: ProofContext-->Proof_Context
|
file | diff | annotate |
| Mon, 06 Aug 2012 16:19:30 +0200 |
fetchProposedTactic returns Tactic + errpatID list
|
file | diff | annotate |
| Tue, 31 Jul 2012 15:16:47 +0200 |
prepared for fun stepToErrorPatterns
|
file | diff | annotate |
| Wed, 27 Jul 2011 09:30:15 +0200 |
prepared "axioms" (Isabelle2002) --> "axiomatization" (Isabelle2011)
|
file | diff | annotate |
| Tue, 26 Jul 2011 13:27:59 +0200 |
intermed: decomment test/../eqsystem.sml OK
|
file | diff | annotate |
| Wed, 23 Mar 2011 17:20:39 +0100 |
make Test_Isac.thy run in jEdit; intermed.
|
file | diff | annotate |
| Tue, 01 Mar 2011 15:23:59 +0100 |
intermed.update to Isabelle2011: test/../syntax added
|
file | diff | annotate |
| Sat, 26 Feb 2011 12:37:58 +0100 |
intermed.update to Isabelle2011: ProgLang works
|
file | diff | annotate |
| Sat, 26 Feb 2011 11:34:08 +0100 |
intermed.update to Isabelle2011
|
file | diff | annotate |
| Mon, 21 Feb 2011 19:40:36 +0100 |
part.update Isabelle2011
|
file | diff | annotate |
| Tue, 28 Sep 2010 07:28:10 +0200 |
repaired fun uminus_to_string, fun rewrite_terms_
|
file | diff | annotate |
| Thu, 09 Sep 2010 09:49:14 +0200 |
intermediate state in Knowledge/EqSystem.thy
|
file | diff | annotate |
| Tue, 31 Aug 2010 16:00:13 +0200 |
num_str --> num_str @{thm
|
file | diff | annotate |
| Tue, 31 Aug 2010 15:36:57 +0200 |
updated Knowledge/Atools.thy + some changes + changes ahead
|
file | diff | annotate |
| Wed, 25 Aug 2010 16:20:07 +0200 |
renamed isac's directories and Build_Isac.thy
|
file | diff | annotate | base |