| Sat, 15 May 2010 21:50:05 +0200 |
less pervasive names from structure Thm;
|
file | diff | annotate |
| Tue, 29 Sep 2009 16:24:36 +0200 |
explicit indication of Unsynchronized.ref;
|
file | diff | annotate |
| Thu, 09 Jul 2009 22:36:11 +0200 |
Sorttab in Pure;
|
file | diff | annotate |
| Thu, 09 Jul 2009 22:01:41 +0200 |
renamed functor TableFun to Table, and GraphFun to Graph;
|
file | diff | annotate |
| Sun, 31 May 2009 19:05:20 +0200 |
attempt to eliminate adhoc makestring at runtime (which is not well-defined);
|
file | diff | annotate |
| Thu, 05 Mar 2009 19:48:02 +0100 |
Thm.add_oracle interface: replaced old bstring by binding;
|
file | diff | annotate |
| Wed, 31 Dec 2008 15:30:10 +0100 |
moved term order operations to structure TermOrd (cf. Pure/term_ord.ML);
|
file | diff | annotate |
| Thu, 18 Sep 2008 19:39:44 +0200 |
simplified oracle interface;
|
file | diff | annotate |
| Tue, 15 Apr 2008 18:49:29 +0200 |
Theory.subthy;
|
file | diff | annotate |
| Sat, 12 Apr 2008 17:00:35 +0200 |
rep_cterm/rep_thm: no longer dereference theory_ref;
|
file | diff | annotate |
| Mon, 03 Dec 2007 17:47:35 +0100 |
improvements
|
file | diff | annotate |
| Sat, 27 Oct 2007 18:37:33 +0200 |
better compute oracle
|
file | diff | annotate |
| Sat, 27 Oct 2007 18:37:32 +0200 |
better compute oracle
|
file | diff | annotate |
| Thu, 20 Sep 2007 12:10:23 +0200 |
improved computing
|
file | diff | annotate |
| Sat, 15 Sep 2007 19:27:35 +0200 |
fixed title
|
file | diff | annotate |
| Fri, 03 Aug 2007 16:28:15 +0200 |
replaced Theory.self_ref by Theory.check_thy, which now produces a checked ref;
|
file | diff | annotate |
| Mon, 09 Jul 2007 17:36:25 +0200 |
new version of computing oracle
|
file | diff | annotate |
| Thu, 31 May 2007 20:55:33 +0200 |
moved Compute_Oracle from Pure/Tools to Tools;
|
file | diff | annotate |