Fri, 28 Jul 2006 18:54:58 +0200 |
thy elements store_*d in *.ML-files are NOT overwritten in Isac.ML
|
file | diff | annotate |
Fri, 21 Jul 2006 15:56:52 +0200 |
sml: added guh2kestoreID for checkContext
|
file | diff | annotate |
Thu, 20 Jul 2006 20:28:17 +0200 |
prepare for running 'pbls2file' with references
|
file | diff | annotate |
Mon, 17 Jul 2006 10:17:33 +0200 |
sml: thydata2xml goes through
|
file | diff | annotate |
Fri, 14 Jul 2006 15:38:15 +0200 |
sml: thy_hierarchy is ok
|
file | diff | annotate |
Fri, 14 Jul 2006 10:44:50 +0200 |
sml: thydata2xml includes rls, rules (excl. Calc),
|
file | diff | annotate |
Thu, 13 Jul 2006 16:50:54 +0200 |
made guh <1--1> theID
|
file | diff | annotate |
Thu, 13 Jul 2006 10:18:34 +0200 |
sml: thy_hierarchy: guh <1--1> theID is broken
|
file | diff | annotate |
Wed, 12 Jul 2006 17:58:31 +0200 |
sml: thy_hierarchy now contains Isabelle's theorems used in isac's rls's
|
file | diff | annotate |
Wed, 12 Jul 2006 13:47:49 +0200 |
'fun thydata2xml': theory elements to xml finished;
|
file | diff | annotate |
Tue, 11 Jul 2006 17:14:08 +0200 |
sml: get_the ["IsacKnowledge"] shows wrong content
|
file | diff | annotate |
Tue, 11 Jul 2006 16:46:43 +0200 |
sml: thy_hierarchy ok WITH guhs, going to 'fun thydata2xml'
|
file | diff | annotate |
Tue, 11 Jul 2006 14:50:08 +0200 |
sml: thy_hierarchy ok, going to 'fun thydata2xml'
|
file | diff | annotate |
Tue, 11 Jul 2006 09:48:31 +0200 |
sml: work on thy_hierarchy
|
file | diff | annotate |
Wed, 28 Jun 2006 10:24:01 +0200 |
added 'fun rules2xml' for 'fun thy_hierarchy'
|
file | diff | annotate |
Mon, 26 Jun 2006 17:15:56 +0200 |
extended 'type thydata' with guh and authors
|
file | diff | annotate |
Mon, 26 Jun 2006 16:27:56 +0200 |
finished thy_hierarchy
|
file | diff | annotate |
Wed, 21 Jun 2006 15:46:15 +0200 |
sml: work on thy-hierarchy, intermediate;
|
file | diff | annotate |
Sun, 11 Jun 2006 12:38:55 +0200 |
matchTheory and getContextToThy, intermediately
|
file | diff | annotate |
Sun, 11 Jun 2006 10:41:16 +0200 |
matchTheory and getContextToThy, intermediately
|
file | diff | annotate |
Sat, 28 Jan 2006 15:49:43 +0100 |
thy_hierarchy2file and thys2file finished
|
file | diff | annotate |
Thu, 26 Jan 2006 20:07:15 +0100 |
prepare thy_hierarchy
|
file | diff | annotate |
Thu, 26 Jan 2006 16:18:22 +0100 |
prepare thy_hierarchy, remove quotes from formulae again
|
file | diff | annotate |
Fri, 20 Jan 2006 16:37:39 +0100 |
prepare new 'fun assoc_rls' during work on thy_hierarchy
|
file | diff | annotate |
Fri, 20 Jan 2006 11:12:46 +0100 |
implement thy_hierarchy (intermediate state of work)
|
file | diff | annotate |