| Wed, 30 Aug 2006 18:50:46 +0200 |
preparing SK: improved getTactic for "sym_..."
|
file | diff | annotate |
| Wed, 19 Jul 2006 18:22:30 +0200 |
sml: added guh2theID
|
file | diff | annotate |
| Fri, 14 Jul 2006 18:20:42 +0200 |
sml: thydata2xml goes until Poly.thy
|
file | diff | annotate |
| Thu, 13 Jul 2006 16:50:54 +0200 |
made guh <1--1> theID
|
file | diff | annotate |
| Fri, 07 Jul 2006 16:50:35 +0200 |
finished thy_containing_rls for contthy
|
file | diff | annotate |
| Thu, 06 Jul 2006 17:22:19 +0200 |
work on 'fun rls2xml', intermediate
|
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 |
| Fri, 16 Jun 2006 09:13:26 +0200 |
sml: matchTheory and getContextToThy, intermediately
|
file | diff | annotate |
| Sun, 11 Jun 2006 07:18:01 +0200 |
matchTheory and getContextToThy, intermediately
|
file | diff | annotate |
| Fri, 20 Jan 2006 18:03:32 +0100 |
prepare new 'fun assoc_rls' during work on thy_hierarchy
|
file | diff | annotate |
| Sat, 07 Jan 2006 18:26:31 +0100 |
prepare export of thy-data to xml (!+ <ISA> with "")
|
file | diff | annotate |
| Sat, 07 Jan 2006 16:04:54 +0100 |
make uniform assoc_*
|
file | diff | annotate |
| Thu, 15 Dec 2005 19:38:29 +0100 |
move_dn changed: observes Res =?= Frm.nxt
|
file | diff | annotate |
| Fri, 25 Nov 2005 16:15:11 +0100 |
added initMatchProblem
|
file | diff | annotate |
| Sat, 03 Sep 2005 09:06:43 +0200 |
code polishing
|
file | diff | annotate |
| Fri, 02 Sep 2005 22:55:26 +0200 |
Biegelinie#Script intermediate,
|
file | diff | annotate |
| Fri, 26 Aug 2005 16:37:39 +0200 |
init_scrstate now optionally takes Finds,too,
|
file | diff | annotate |
| Thu, 17 Apr 2003 18:01:03 +0200 |
neues cvs-verzeichnis
|
file | diff | annotate |