| Fri, 05 May 2000 22:25:17 +0200 |
wenzelm |
removed Pure/section_utils.ML;
|
file |
diff |
annotate
|
| Wed, 03 May 2000 18:34:09 +0200 |
paulson |
removed obsolete simproc combine_coeff
|
file |
diff |
annotate
|
| Tue, 02 May 2000 18:40:16 +0200 |
paulson |
combine_numerals replaces both fold_Suc and combine_coeff
|
file |
diff |
annotate
|
| Fri, 21 Apr 2000 11:28:34 +0200 |
paulson |
Provers/Arith/inverse_fold.ML is already obsolete
|
file |
diff |
annotate
|
| Tue, 18 Apr 2000 15:51:59 +0200 |
paulson |
new simprocs for numerals of type "nat"
|
file |
diff |
annotate
|
| Tue, 05 Oct 1999 18:16:26 +0200 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|
| Mon, 04 Oct 1999 21:45:10 +0200 |
wenzelm |
proper dependencies of all theories and packages;
|
file |
diff |
annotate
|
| Tue, 21 Sep 1999 14:13:45 +0200 |
nipkow |
ROOT: Integ/bin_simprocs.ML now loaded in Integ/Bin.ML
|
file |
diff |
annotate
|
| Thu, 26 Aug 1999 19:04:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 25 Aug 1999 20:49:02 +0200 |
wenzelm |
proper bootstrap of HOL theory and packages;
|
file |
diff |
annotate
|
| Tue, 17 Aug 1999 22:11:05 +0200 |
wenzelm |
turned SVC_Oracle into a new-style theory in order to get automatic
|
file |
diff |
annotate
|
| Mon, 02 Aug 1999 11:24:01 +0200 |
paulson |
new files for the SVC link-up
|
file |
diff |
annotate
|
| Fri, 23 Jul 1999 17:24:48 +0200 |
paulson |
new simprocs assoc_fold and combine_coeff
|
file |
diff |
annotate
|
| Mon, 19 Jul 1999 15:27:34 +0200 |
paulson |
NatBin: binary arithmetic for the naturals
|
file |
diff |
annotate
|
| Thu, 08 Jul 1999 13:37:40 +0200 |
paulson |
new theory IntDiv.thy
|
file |
diff |
annotate
|