Tue, 13 Feb 2018 15:14:55 +0100 |
Isabelle2015->17: "normalize" as identifier causes type clash now, etc
|
file | diff | annotate |
Mon, 12 Dec 2016 18:08:13 +0100 |
added structure Chead : CALC_HEAD
|
file | diff | annotate |
Mon, 07 Dec 2015 11:25:02 +0100 |
Isabelle2014-->15: term_of-->Thm.term_of
|
file | diff | annotate |
Tue, 09 Jun 2015 13:08:07 +0200 |
PIDE: cleanup of XML conversions
|
file | diff | annotate |
Tue, 19 May 2015 09:38:24 +0200 |
auxiliary files for PIDE's XML.tree
|
file | diff | annotate |
Wed, 22 Jan 2014 15:31:35 +0100 |
tuned
|
file | diff | annotate |
Wed, 22 Jan 2014 15:26:14 +0100 |
"fun strslist2str" added.
|
file | diff | annotate |
Sun, 22 Sep 2013 18:41:15 +0200 |
check differences between Theory_Data and "ruleset' = Unsynchronized.ref"
|
file | diff | annotate |
Sat, 24 Aug 2013 11:54:39 +0200 |
GCD_Poly_ML: conversions term <--> poly
|
file | diff | annotate |
Thu, 25 Jul 2013 07:53:39 +0200 |
handle "fun nth " from Isabelle2002 still provisionally
|
file | diff | annotate |
Thu, 24 May 2012 17:13:58 +0200 |
prepared fun inputFillform
|
file | diff | annotate |
Mon, 21 May 2012 16:56:01 +0200 |
added fun FindFillpatterns
|
file | diff | annotate |
Wed, 04 May 2011 09:01:10 +0200 |
update all "Pair" to "Product_Type.Pair"
|
file | diff | annotate |
Mon, 21 Feb 2011 19:40:36 +0100 |
part.update Isabelle2011
|
file | diff | annotate |
Fri, 08 Oct 2010 18:51:23 +0200 |
repaired fun nxt_specify_
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Sat, 25 Sep 2010 16:49:33 +0200 |
rewrite_ returns assumptions without Trueprop (as was in Isabelle2002)
|
file | diff | annotate |
Thu, 23 Sep 2010 16:38:25 +0200 |
changed 'writeln' --> 'tracing' in src/ and _NOT_ in test/
|
file | diff | annotate |
Thu, 23 Sep 2010 08:43:36 +0200 |
repaired is_copy_named, cpy_nam and improved tests & comments
|
file | diff | annotate |
Thu, 12 Aug 2010 11:02:32 +0200 |
moved isac + test to final dire-structure
|
file | diff | annotate |