nipkow [Wed, 20 Apr 2005 17:19:42 +0200] rev 15781
Used locale interpretations everywhere. -> lemma had new name
nipkow [Wed, 20 Apr 2005 17:19:18 +0200] rev 15780
Used locale interpretations everywhere.
quigley [Wed, 20 Apr 2005 16:03:17 +0200] rev 15779
Removed remaining references to Main.thy in reconstruction code.
gagern [Wed, 20 Apr 2005 14:18:33 +0200] rev 15778
Allow symlinks to shell scripts
kleing [Wed, 20 Apr 2005 00:45:54 +0200] rev 15777
added locale instantiation
webertj [Tue, 19 Apr 2005 18:46:04 +0200] rev 15776
refute extended
paulson [Tue, 19 Apr 2005 18:08:55 +0200] rev 15775
syntax fix
paulson [Tue, 19 Apr 2005 18:08:44 +0200] rev 15774
more tidying of libraries in Reconstruction
quigley [Tue, 19 Apr 2005 15:15:06 +0200] rev 15773
Completed integration of reconstruction code. Now finds and displays proofs when used with modified version
of Proof General. C.Q.
paulson [Tue, 19 Apr 2005 13:35:01 +0200] rev 15772
auto update
paulson [Tue, 19 Apr 2005 13:34:50 +0200] rev 15771
restored the target HOL-Complex-Import
paulson [Tue, 19 Apr 2005 11:40:23 +0200] rev 15770
fixed presentation
obua [Tue, 19 Apr 2005 10:59:31 +0200] rev 15769
Removed mult_commute axiom from comm_semiring axclass.
webertj [Tue, 19 Apr 2005 00:14:27 +0200] rev 15768
compilation error fixed
webertj [Mon, 18 Apr 2005 17:20:49 +0200] rev 15767
support for recursion over mutually recursive IDTs
ballarin [Mon, 18 Apr 2005 15:54:23 +0200] rev 15766
Cleaned up, now use interpretation.
ballarin [Mon, 18 Apr 2005 15:53:51 +0200] rev 15765
Cleaned up, now uses interpretation.
paulson [Mon, 18 Apr 2005 10:36:05 +0200] rev 15764
deleted obsolete code
ballarin [Mon, 18 Apr 2005 09:25:23 +0200] rev 15763
Interpretation supports statically scoped attributes; documentation.
wenzelm [Sun, 17 Apr 2005 19:40:43 +0200] rev 15762
updated;
wenzelm [Sun, 17 Apr 2005 19:40:34 +0200] rev 15761
added delete_safe, insert, remove, remove_multi;
tuned;
wenzelm [Sun, 17 Apr 2005 19:39:39 +0200] rev 15760
clarified insert/remove;
tuned canonical fold/fold_rev;
wenzelm [Sun, 17 Apr 2005 19:39:11 +0200] rev 15759
tuned;
wenzelm [Sun, 17 Apr 2005 19:38:53 +0200] rev 15758
binds/thms: do not store options, but delete from table;
tuned;
wenzelm [Sun, 17 Apr 2005 19:38:40 +0200] rev 15757
tuned comments;
wenzelm [Sun, 17 Apr 2005 19:38:30 +0200] rev 15756
removed;
wenzelm [Sat, 16 Apr 2005 18:58:55 +0200] rev 15755
expect translations functions to be stamped already;
added remove_const_gram;
wenzelm [Sat, 16 Apr 2005 18:58:30 +0200] rev 15754
added stamp_trfun, mk_trfun, eq_trfun;
wenzelm [Sat, 16 Apr 2005 18:58:18 +0200] rev 15753
tuned extend_prtabs;
added remove_prtabs;
wenzelm [Sat, 16 Apr 2005 18:58:09 +0200] rev 15752
added make_gram;
merge_gram: do not add chain productions to prods;