% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            spies.dtr                                                %
% Purpose:         the future defaults to the past                          %
% Author:          Gerald Gazdar, 6 January 1990                            %
% Email:           geraldg@cogs.sussex.ac.uk                                %
% Address:         COGS, University of Sussex, Brighton BN1 9QH, UK         %
% Version:         2.01 (4 February, 1996)                                  %
%                                                                           %
%      Copyright (c) University of Sussex 1990.  All rights reserved.       %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% This file represents an experiment in using DATR to represent the fact
% that the current situation can be assumed to be identical to the
% immediately preceding situation in the absence of any explicit information
% to the contrary.  DATR probably isn't the most suitable available non-
% monotonic KR language in which to conduct this experiment.

% As time passes, civil servants get promoted or move sideways.  And, as
% time passes, the senior ones accumulate various honours.  The category
% of UK civil servant about whom most has been written this century is
% that of intelligence officials.  Hence their appearance in this file.

% Exercise: rework the treatment of <overseas> facts so as to make use
% of the date encoding already employed for jobs and honours.  For example,
% one might wish to be able to prove a theorem like the following:
%
% Anthony_Duff:<1 9 5 0 jan location> = 'Egypt'.

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

%   DG5: Director General of MI5
%   DDG: Deputy Director General of MI5
%   CSS: Chief of the Security Service (SIS)
%   USA: MI6 representative in the Washington Embassy

# atom CSS DG5 DDG USA.

# vars $K: jan dec.
# vars $L: CSS DG5 DDG USA.
# vars $I: 0 1 2 3 4 5 6 7 8 9.
# vars $J: 0 1 2 3 4 5 6 7 8 9.

Time:
    <> == "<undefined>"
    <1 9  1  0 jan> == "<1 9  0  9 dec>"
    <1 9  2  0 jan> == "<1 9  1  9 dec>"
    <1 9  3  0 jan> == "<1 9  2  9 dec>"
    <1 9  4  0 jan> == "<1 9  3  9 dec>"
    <1 9  5  0 jan> == "<1 9  4  9 dec>"
    <1 9  6  0 jan> == "<1 9  5  9 dec>"
    <1 9  7  0 jan> == "<1 9  6  9 dec>"
    <1 9  8  0 jan> == "<1 9  7  9 dec>"
    <1 9  9  0 jan> == "<1 9  8  9 dec>"
    <1 9 $I  1 jan> == "<1 9 $I  0 dec>"
    <1 9 $I  2 jan> == "<1 9 $I  1 dec>"
    <1 9 $I  3 jan> == "<1 9 $I  2 dec>"
    <1 9 $I  4 jan> == "<1 9 $I  3 dec>"
    <1 9 $I  5 jan> == "<1 9 $I  4 dec>"
    <1 9 $I  6 jan> == "<1 9 $I  5 dec>"
    <1 9 $I  7 jan> == "<1 9 $I  6 dec>"
    <1 9 $I  8 jan> == "<1 9 $I  7 dec>"
    <1 9 $I  9 jan> == "<1 9 $I  8 dec>"
    <1 9 $I $J dec> == "<1 9 $I $J jan>".

CivilServant:
    <> == Time
    <undefined> == error -- path undefined

    <1 9 $I $J honour> == 
    <1 9  0  0 jan honours> == 
    <1 9 $I $J $K $L> == "<name>"
    <1 9 $I $J dec honours> == "<1 9 $I $J honour>"
                               "<1 9 $I $J jan honours>".

SpyMasters:
    <> == Time
    <undefined> == 'Post' did not exist at that time

    % MI5 officers
    <1 9 0 9 dec DG5> == 'Vernon Kell'
    <1 9 1 7 dec DDG> == 'Eric Holt-Wilson'
    <1 9 4 0 dec DG5> == 'David Petrie'
    <1 9 4 0 dec DDG> == 'Jasper Harker'
    <1 9 4 6 dec DG5> == 'Percy Sillitoe'
    <1 9 4 7 dec DDG> == 'Guy Liddell'
    <1 9 5 2 dec DDG> == 'Roger Hollis'
    <1 9 5 3 dec DG5> == 'Dick White'
    <1 9 5 6 dec DG5> ==  <1 9 5 6 jan DDG>          % Hollis promoted
    <1 9 5 6 dec DDG> == "Graham_Mitchell" 
    <1 9 6 3 dec DDG> == "Martin_Furnival_Jones" 
    <1 9 6 5 dec DG5> ==  <1 9 6 5 jan DDG>
    <1 9 6 5 dec DDG> == "Anthony_Simkins" 
    <1 9 7 1 dec DDG> == "Michael_Hanley"
    <1 9 7 2 dec DG5> ==  <1 9 7 1 jan DDG>
    <1 9 7 2 dec DDG> == "Ronald_Symonds" 
    <1 9 7 6 dec DDG> == "John_Jones" 
    <1 9 7 9 dec DG5> == "Howard_Smith" 
    <1 9 8 1 dec DG5> ==  <1 9 8 1 jan DDG>
    <1 9 8 1 dec DDG> == 'Not known'
    <1 9 8 5 dec DG5> == "Anthony_Duff" 

    % SIS officers
    <1 9 0 9 dec CSS> == 'Mansfield Cumming'
    <1 9 2 3 dec CSS> == 'Hugh Sinclair'
    <1 9 3 9 dec CSS> == 'Stewart Menzies'
    <1 9 4 5 dec USA> == 'Peter Dwyer'
    <1 9 4 9 dec USA> == 'Kim Philby'
    <1 9 5 1 dec USA> == "John_Bruce_Lockhart" 
    <1 9 5 2 dec CSS> == "John_Sinclair" 
    <1 9 5 3 dec USA> == "Leslie_Mitchell" 
    <1 9 5 6 dec CSS> ==  <1 9 5 6 jan DG5>
    <1 9 5 6 dec USA> == "Machlachlan_Silverwood_Cope" 
    <1 9 5 8 dec USA> == "John_Briance" 
    <1 9 6 0 dec USA> == "Maurice_Oldfield" 
    <1 9 6 4 dec USA> == 'Christopher Phillpotts'
    <1 9 6 6 dec USA> == 'Stephen de Mowbray'
    <1 9 6 8 dec CSS> == "John_Rennie" 
    <1 9 6 8 dec USA> == "Christopher_Curwen" 
    <1 9 7 1 dec USA> == 'Not known'
    <1 9 7 3 dec CSS> ==  <1 9 6 4 jan USA>          % Oldfield promoted
    <1 9 7 8 dec CSS> == "Dick_Franks" 
    <1 9 8 1 dec CSS> == "Colin_Figures" 
    <1 9 8 5 dec CSS> ==  <1 9 7 1 jan USA>.

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% Some example theorems:
%
% Maurice_Oldfield:
%   <1 9 4 0 jan honours> = 
%   <1 9 4 5 jan honours> = 
%   <1 9 5 0 jan honours> = MBE
%   <1 9 5 6 jan honours> = MBE
%   <1 9 5 7 jan honours> = CBE MBE
%   <1 9 6 4 jan honours> = CBE MBE
%   <1 9 6 5 jan honours> = CMG CBE MBE
%   <1 9 7 5 jan honours> = CMG CBE MBE
%   <1 9 7 6 jan honours> = KCMG CMG CBE MBE
%   <1 9 7 8 jan honours> = KCMG CMG CBE MBE
%   <1 9 7 9 jan honours> = GCMG KCMG CMG CBE MBE
%   <1 9 8 6 jan honours> = GCMG KCMG CMG CBE MBE.
%
% SpyMasters:
%   <1 9 1 0 jan DG5> = Vernon Kell
%   <1 9 1 0 jan CSS> = Mansfield Cumming
%   <1 9 1 7 jan DDG> = Post did not exist at that time 
%   <1 9 1 8 jan DDG> = Eric Holt-Wilson
%   <1 9 4 4 jan USA> = Post did not exist at that time 
%   <1 9 4 6 jan USA> = Peter Dwyer
%   <1 9 5 0 jan DG5> = Percy Sillitoe
%   <1 9 5 1 jan DDG> = Guy Liddell
%   <1 9 5 2 jan CSS> = Stewart Menzies
%   <1 9 5 3 jan USA> = John Bruce Lockhart
%   <1 9 5 4 jan DG5> = Dick White
%   <1 9 5 5 jan DDG> = Roger Hollis
%   <1 9 5 6 jan CSS> = John Sinclair
%   <1 9 5 7 jan USA> = Machlachlan Silverwood Cope
%   <1 9 5 8 jan DG5> = Roger Hollis
%   <1 9 5 9 jan DDG> = Graham Mitchell
%   <1 9 6 1 jan CSS> = Dick White
%   <1 9 6 2 jan USA> = Maurice Oldfield
%   <1 9 6 3 jan DG5> = Roger Hollis
%   <1 9 6 4 jan DDG> = Martin Furnival Jones
%   <1 9 6 5 jan CSS> = Dick White
%   <1 9 6 6 jan USA> = Christopher Phillpotts
%   <1 9 6 7 jan DG5> = Martin Furnival Jones
%   <1 9 6 8 jan DDG> = Anthony Simkins
%   <1 9 6 9 jan CSS> = John Rennie
%   <1 9 7 0 jan USA> = Christopher Curwen
%   <1 9 7 1 jan DG5> = Martin Furnival Jones
%   <1 9 7 2 jan DDG> = Michael Hanley
%   <1 9 7 3 jan CSS> = John Rennie
%   <1 9 7 4 jan USA> = Not known
%   <1 9 7 5 jan DG5> = Anthony Simkins
%   <1 9 7 6 jan DDG> = Ronald Symonds
%   <1 9 7 7 jan CSS> = Maurice Oldfield
%   <1 9 7 8 jan DG5> = Anthony Simkins
%   <1 9 7 9 jan DDG> = John Jones
%   <1 9 8 0 jan CSS> = Dick Franks
%   <1 9 8 1 jan DG5> = Howard Smith
%   <1 9 8 2 jan DDG> = Not known
%   <1 9 7 3 jan CSS> = John Rennie
%   <1 9 8 4 jan DG5> = John Jones
%   <1 9 8 5 jan DDG> = Not known
%   <1 9 8 6 jan CSS> = Christopher Curwen.

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% John Albert Briance
%
%   Lobster Magazine (Britain) #9/85 (15)
%   Lobster. A Who's Who of the British Secret State. 1989

John_Briance:
    <> == CivilServant
    <name> == 'John Briance'
    <overseas> == 'Iran 1950-52 Singapore 1961-64'
    <1 9 1 5 born> == true
    <1 9 6 0 dec honours> == 'CMG'.

% John MacGregor Bruce-Lockhart:
%
%   Lobster Magazine (Britain) #9/85 (16)
%   Lobster. A Who's Who of the British Secret State. 1989

John_Bruce_Lockhart:
    <> == CivilServant
    <name> == 'John Bruce Lockhart'
    <overseas> == 'France 1945-47 Germany 1948-51'
    <1 9 1 4 born> == true
    <1 9 4 4 dec honours> == 'OBE'
    <1 9 5 1 honour> == 'CMG'
    <1 9 6 6 honour> == 'CB'.

% Christopher Keith Curwen:
%
%   Intelligence/Parapolitics (Paris) 2/86 (5)
%   Lobster Magazine (Britain) #10/85 (17)
%   Lobster Magazine (Britain) #17/88 (6)
%   Lobster. A Who's Who of the British Secret State. 1989

Christopher_Curwen:
    <> == CivilServant
    <name> == 'Christopher Curwen'
%
%   Long <overseas> atom values commented out in view of QDATR 2.00's
%   inability to cope with them.
%
%   <overseas> == 'Thailand 1954-63 Laos 1956-58 Singapore 1963-65
%                  Switzerland 1977-80'
    <1 9 2 9 born> == true
    <1 9 8 2 dec honours> == 'CMG'
    <1 9 8 6 honour> == 'KCMG'.

% Anthony Duff:
%
%   Intelligence/Parapolitics (Paris) 7/85 (1)
%   Intelligence/Parapolitics (Paris) 3/88 (10)
%   Lobster Magazine (Britain) #10/85 (19)
%   Lobster. A Who's Who of the British Secret State. 1989
%   Payne,R. Dobson,C. Who's Who in Espionage. 1984 (41)

Anthony_Duff:
    <> == CivilServant
    <name> == 'Anthony Duff'
%
%   Long <overseas> atom values commented out in view of QDATR 2.00's
%   inability to cope with them.
%
%   <overseas> == 'Greece 1946-49 Egypt 1949-52 France 1954-57
%                  Germany 1960-64 Nepal 1964-65 Malaysia 1969-72
%                  Kenya 1972-75'
    <1 9 2 0 born> == true
    <1 9 4 4 dec honours> == 'DSO'
    <1 9 6 4 honour> == 'CMG'
    <1 9 7 2 honour> == 'CVO'
    <1 9 7 3 honour> == 'KCMG'
    <1 9 8 0 honour> == 'GCMG'.

% Colin Frederick Figures:
%
%   Bloch,J. Fitzgerald,P. British Intelligence and Covert Action. 1983
%     (34 255)
%   Intelligence/Parapolitics (Paris) 5/87 (3)
%   Lobster. A Who's Who of the British Secret State. 1989
%   Payne,R. Dobson,C. Who's Who in Espionage. 1984 (51)

Colin_Figures:
    <> == CivilServant
    <name> == 'Colin Figures'
%
%   Long <overseas> atom values commented out in view of QDATR 2.00's
%   inability to cope with them.
%
%   <overseas> == 'Germany 1953-56 Jordan 1956-58 Poland 1959-62
%                  Austria 1966-69'
    <1 9 2 5 born> == true
    <1 9 6 9 dec honours> == 'OBE'
    <1 9 7 8 honour> == 'CMG'
    <1 9 8 3 honour> == 'KCMG'.

% Arthur Temple Franks (= Dick Franks):
%
%   Bloch,J. Fitzgerald, P. British Intelligence and Covert
%     Action. 1983 (255-6)
%   CounterSpy 8/83 (26)
%   Lobster Magazine (Britain) #8/85 (18 23)
%   Lobster. A Who's Who of the British Secret State. 1989
%   Payne,R. Dobson,C. Who's Who in Espionage. 1984 (51)
%   Washington Times 11/27/86 (6A)

Dick_Franks:
    <> == CivilServant
    <name> == 'Dick Franks'
    <overseas> == 'Iran 1953 Germany 1962-66'
    <1 9 2 0 born> == true
    <1 9 6 7 dec honours> == 'CMG'
    <1 9 7 9 honour> == 'KCB'.

% Martin Edward Furnival-Jones:
%
%   Lobster. A Who's Who of the British Secret State. 1989
%   Payne,R. Dobson,C. Who's Who in Espionage. 1984 (55-6)
%   West,N. The Circus. 1984 (15-7 80 223-94)
%   Wise,D. Ross,T. The Espionage Establishment. 1967 (87)
%   Wright,P. Spycatcher. 1987 (123 187 291)

Martin_Furnival_Jones:
    <> == CivilServant
    <name> == 'Martin Furnival Jones'
    <overseas> == ''
    <1 9 1 2 born> == true
    <1 9 5 7 dec honours> == 'CBE'
    <1 9 6 7 honour> == 'Kt'.

% Michael Hanley:
%
%   Intelligence Newsletter (Paris) 3/1/89 (4-5)
%   Lobster. A Who's Who of the British Secret State. 1989
%   Washington Post 5/3/87 (A24)
%   West,N. The Circus. 1984 (13 15 17 223 295-7)
%   Wright,P. Spycatcher. 1987 (3 237 295-302 332 348 357)

Michael_Hanley:
    <> == CivilServant
    <name> == 'Michael Hanley'
    <overseas> == ''
    <1 9 1 8 born> == true
    <1 9 7 4 dec honours> == 'KCB'.

% John Lewis Jones:
%
%   Lobster. A Who's Who of the British Secret State. 1989
%   Washington Times 8/27/86 (8A)
%   Wright,P. Spycatcher. 1987 (359)

John_Jones:
    <> == CivilServant
    <name> == 'John Jones'
    <overseas> == 'Sudan 1947-55 Hong Kong 1960-69'
    <1 9 2 3 born> == true
    <1 9 7 2 dec honours> == 'CMG'
    <1 9 8 3 honour> == 'KCB'.

% Graham Russell Mitchell:
%
%   Lobster. A Who's Who of the British Secret State. 1989
%   Payne,R. Dobson,C. Who's Who in Espionage. 1984 (121-2)
%   Volkman,E. Warriors of the Night. 1985 (216-8)
%   Washington Times 3/2/87 (6A)
%   West,N. The Circus. 1984 (15-6 23 81 89 127 179-85)
%   Wright,P. Spycatcher. 1987 (44 120 143-4 176-8 196-201)

Graham_Mitchell:
    <> == CivilServant
    <name> == 'Graham Mitchell'
    <overseas> == ''
    <1 9 0 5 born> == true
    <1 9 5 1 dec honours> == 'OBE'
    <1 9 5 7 honour> == 'CB'.

% Leslie Herbert Mitchell:
%
%   Lobster. A Who's Who of the British Secret State. 1989

Leslie_Mitchell:
    <> == CivilServant
    <name> == 'Leslie Mitchell'
    <overseas> == 'Denmark 1940-50 Germany 1956-57'
    <1 9 1 4 born> == true
    <1 9 4 9 dec honours> == 'OBE'
    <1 9 5 5 honour> == 'CBE'.

% Maurice Oldfield:
%
%   Bledowska,C. Bloch,J. KGB/CIA. 1987 (74 188)
%   Bloch,J. Fitzgerald,P. British Intelligence and Covert Action. 1983
%     (40 231)
%   CovertAction Information Bulletin #8/80 (29)
%   Lobster Magazine (Britain) #8/85 (18-9)
%   Lobster Magazine (Britain) #15/88 (6-7)
%   Lobster. A Who's Who of the British Secret State. 1989
%   Parapolitics/USA 5/30/81 (2)
%   Payne,R. Dobson,C. Who's Who in Espionage. 1984 (126)
%   Washington Post 5/3/87 (A24)
%   West,N. The Circus. 1984 (84 195 291-2 300)
%   Wright,P. Spycatcher. 1987 (9-10 212 330)

Maurice_Oldfield:
    <> == CivilServant
    <name> == 'Maurice Oldfield'
    <overseas> == 'Singapore 1950-58 Ireland 1979-82'
    <1 9 1 5 born> == true
    <1 9 4 6 dec honours> == 'MBE'
    <1 9 5 6 honour> == 'CBE'
    <1 9 6 4 honour> == 'CMG'
    <1 9 7 5 honour> == 'KCMG'
    <1 9 7 8 honour> == 'GCMG'.

% John Ogilvy Rennie:
%
%   Bloch,J. Fitzgerald,P. British Intelligence and Covert Action. 1983 (91)
%   Lobster. A Who's Who of the British Secret State. 1989
%   Payne,R. Dobson,C. Who's Who in Espionage. 1984 (147)
%   West,N. The Circus. 1984 (292 300)
%   Wright,P. Spycatcher. 1987 (349)

John_Rennie:
    <> == CivilServant
    <name> == 'John Rennie'
    <overseas> == 'Poland 1951-53 Argentina 1958-60'
    <1 9 1 4 born> == true
    <1 9 5 6 dec honours> == 'CMG'
    <1 9 6 7 honour> == 'KCMG'.

% Alan Carl MacLachlan Silverwood-Cope:
%
%   Lobster. A Who's Who of the British Secret State. 1989

Machlachlan_Silverwood_Cope:
    <> == CivilServant
    <name> == 'Machlachlan Silverwood Cope'
%
%   Long <overseas> atom values commented out in view of QDATR 2.00's
%   inability to cope with them.
%
%   <overseas> == 'Sweden 1945-50 Japan 1952-55 Denmark 1960-64
%                  Argentina 1966-68'
    <1 9 1 5 born> == true
    <1 9 5 9 dec honours> == 'CBE'.

% Anthony Simkins:
%
%   Foreign Intelligence Literary Scene 2/87 (11)
%   Intelligence Newsletter (Paris) 11/16/88 (4)
%   West,N. The Circus. 1984 (15 17 223-4 295)
%   Wright,P. Spycatcher. 1987 (291-3 348)

Anthony_Simkins:
    <> == CivilServant
    <name> == 'Anthony Simkins'
    <overseas> == ''
    <1 9 1 2 born> == true
    <1 9 6 3 dec honours> == 'CBE'
    <1 9 6 8 honour> == 'CB'.

% John Alexander Sinclair:
%
%   Bloch,J. Fitzgerald,P. British Intelligence and Covert Action.
%     1983 (55 66 111)
%   CounterSpy 6/82 (32)
%   Eveland,W.C. Ropes of Sand. 1980 (169)
%   Lobster Magazine (Britain) #15/88 (7)
%   Lobster. A Who's Who of the British Secret State. 1989
%   Payne,R. Dobson,C. Who's Who in Espionage. 1984 (157)
%   Syrokomsky,V. International Terrorism and the CIA. 1983 (170)
%   West,N. The Circus. 1984 (65 97-8)
%   Wright,P. Spycatcher. 1987 (72)

John_Sinclair:
    <> == CivilServant
    <name> == 'John Sinclair'
    <overseas> == 'Iran 1952-53'
    <1 8 9 7 born> == true
    <1 9 7 7 died> == true
    <1 9 4 0 dec honours> == 'OBE'  % this date needs checking
    <1 9 4 5 honour> == 'CB'
    <1 9 5 3 honour> == 'KCMG'.

% Howard Frank Trayton Smith:
%
%   Bloch,J. Fitzgerald,P. British Intelligence and Covert Action. 1983
%     (213 259)
%   Lobster Magazine (Britain) #8/85 (18)
%   Lobster. A Who's Who of the British Secret State. 1989
%   West,N. The Circus. 1984 (15)

Howard_Smith:
    <> == CivilServant
    <name> == 'Howard Smith'
%
%   Long <overseas> atom values commented out in view of QDATR 2.00's
%   inability to cope with them.
%
%   <overseas> == 'Norway 1947-50 Venezuela 1953-56 USSR 1961-78
%                  Czechoslovakia 1968-71 Ireland 1971-72'
    <1 9 1 9 born> == true
    <1 9 6 6 dec honours> == 'CMG'
    <1 9 7 6 honour> == 'KCMG'
    <1 9 8 1 honour> == 'GCMG'.

% Ronald Charters Symonds:
%
%   Lobster. A Who's Who of the British Secret State. 1989
%   Wright,P. Spycatcher. 1987 (166 202-3)

Ronald_Symonds:
    <> == CivilServant
    <name> == 'Ronald Symonds'
    <overseas> == ''
    <1 9 1 6 born> == true
    <1 9 7 5 dec honours> == 'CB'.

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% Part of the information in this file was extracted from the 1989j
% edition of spyBASE by Micro Associates.  The rest was gathered from
% standard biographical reference books like Who's Who, Who Was Who, etc.

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

# show
    <1 9 1 0 jan DG5>
    <1 9 1 0 jan CSS>
    <1 9 1 7 jan DDG>
    <1 9 1 8 jan DDG>
    <1 9 4 4 jan USA>
    <1 9 4 6 jan USA>
    <1 9 5 0 jan DG5>
    <1 9 5 1 jan DDG>
    <1 9 5 2 jan CSS>
    <1 9 5 3 jan USA>
    <1 9 5 4 jan DG5>
    <1 9 5 5 jan DDG>
    <1 9 5 6 jan CSS>
    <1 9 5 7 jan USA>
    <1 9 5 8 jan DG5>
    <1 9 5 9 jan DDG>
    <1 9 6 1 jan CSS>
    <1 9 6 2 jan USA>
    <1 9 6 3 jan DG5>
    <1 9 6 4 jan DDG>
    <1 9 6 5 jan CSS>
    <1 9 6 6 jan USA>
    <1 9 6 7 jan DG5>
    <1 9 6 8 jan DDG>
    <1 9 6 9 jan CSS>
    <1 9 7 0 jan USA>
    <1 9 7 1 jan DG5>
    <1 9 7 2 jan DDG>
    <1 9 7 3 jan CSS>
    <1 9 7 4 jan USA>
    <1 9 7 5 jan DG5>
    <1 9 7 6 jan DDG>
    <1 9 7 7 jan CSS>
    <1 9 7 8 jan DG5>
    <1 9 7 9 jan DDG>
    <1 9 8 0 jan CSS>
    <1 9 8 1 jan DG5>
    <1 9 8 2 jan DDG>
    <1 9 7 3 jan CSS>
    <1 9 8 4 jan DG5>
    <1 9 8 5 jan DDG>
    <1 9 8 6 jan CSS>.

% # show
%   <1 9 4 0 jan honours> <1 9 4 1 jan honours> <1 9 4 4 jan honours>
%   <1 9 4 5 jan honours> <1 9 4 7 jan honours> <1 9 5 0 jan honours>
%   <1 9 5 1 jan honours> <1 9 5 2 jan honours> <1 9 5 3 jan honours>
%   <1 9 5 4 jan honours> <1 9 5 5 jan honours> <1 9 5 6 jan honours>
%   <1 9 5 7 jan honours> <1 9 5 8 jan honours> <1 9 5 9 jan honours>
%   <1 9 6 1 jan honours> <1 9 6 2 jan honours> <1 9 6 3 jan honours>
%   <1 9 6 4 jan honours> <1 9 6 5 jan honours> <1 9 6 6 jan honours>
%   <1 9 6 7 jan honours> <1 9 6 8 jan honours> <1 9 6 9 jan honours>
%   <1 9 7 0 jan honours> <1 9 7 1 jan honours> <1 9 7 2 jan honours>
%   <1 9 7 3 jan honours> <1 9 7 4 jan honours> <1 9 7 5 jan honours>
%   <1 9 7 6 jan honours> <1 9 7 7 jan honours> <1 9 7 8 jan honours>
%   <1 9 7 9 jan honours> <1 9 8 0 jan honours> <1 9 8 1 jan honours>
%   <1 9 8 2 jan honours> <1 9 8 3 jan honours> <1 9 8 4 jan honours>
%   <1 9 8 5 jan honours> <1 9 8 6 jan honours>.

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% The next line is the Revision Control System Id: do not delete it.
% $Id: archive.dtr,v 1.1 1997/04/09 20:40:33 root Exp $