# HG changeset patch
# User wenzelm
# Date 1737374630 -3600
# Node ID 67ea7246a9d0841c3d51f8b8de1811b4dc63e973
# Parent  dea6f877c22564011f99e90ad0c2fb34ec2cc0f4
more robust alignments for HOL Light Release-3.0.0;

diff -r dea6f877c225 -r 67ea7246a9d0 src/HOL/Import/offline/maps.lst
--- a/src/HOL/Import/offline/maps.lst	Mon Jan 20 23:30:06 2025 +0100
+++ b/src/HOL/Import/offline/maps.lst	Mon Jan 20 13:03:50 2025 +0100
@@ -36,6 +36,8 @@
 num_Axiom     num_Axiom
 DEF_BIT0
 DEF_BIT1
+DEF_WF        -
+WF            WF
 DEF_PRE       -
 PRE           PRE
 DEF_+         -
@@ -81,23 +83,12 @@
 TL            TL
 DEF_APPEND    -
 APPEND        APPEND
-DEF_REVERSE   -
 DEF_LENGTH    -
 LENGTH        LENGTH
 DEF_MAP       -
 MAP           MAP
 DEF_LAST      -
 LAST          LAST
-DEF_BUTLAST   -
-DEF_REPLICATE -
-DEF_NULL      -
-DEF_ALL       -
-DEF_EX        -
-DEF_ITLIST    -
-DEF_ALL2      -
-DEF_FILTER    -
-DEF_ZIP       -
-ZIP_DEF       -
 TYDEF_real -
 DEF_real_of_num -
 real_of_num -