Web Server Statistics for the Computer Laboratory (Lawrence Paulson's pages only)

Program started at Mon-27-Jun-2016 12:04.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-27-Jun-2016 11:48 (599.87 days).

General Summary

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report contains overall statistics.

Figures in parentheses refer to the 7-day period ending 27-Jun-2016 12:04.

Successful requests: 15,200 (3,140)
Average successful requests per day: 25 (448)
Successful requests for pages: 4,892 (803)
Average successful requests for pages per day: 8 (114)
Failed requests: 496 (144)
Redirected requests: 97 (13)
Distinct files requested: 519 (344)
Distinct hosts served: 3,254 (908)
Corrupt logfile lines: 1
Unwanted logfile entries: 12,783
Data transferred: 5.87 gigabytes (1.41 gigabytes)
Average data transferred per day: 10.02 megabytes (205.55 megabytes)

Daily Summary

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the total activity for each day of the week, summed over all the weeks in the report.

Each unit (+) represents 25 requests for pages or part thereof.

dayreqspages 
Sun1933618+++++++++++++++++++++++++
Mon30281123+++++++++++++++++++++++++++++++++++++++++++++
Tue2305914+++++++++++++++++++++++++++++++++++++
Wed2207595++++++++++++++++++++++++
Thu1672485++++++++++++++++++++
Fri2111581++++++++++++++++++++++++
Sat1944576++++++++++++++++++++++++

Domain Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the countries of the computers which requested files.

Listing domains, sorted by the amount of traffic.

reqs%bytesdomain
403730.61%[unresolved numerical addresses]
560428.16%.com (Commercial)
83413.59%.uk (United Kingdom)
294 8.40%.pt (Portugal)
1180 7.62%.net (Networks)
584 2.63%.de (Germany)
499 1.88%[domain not given]
141 0.87%.au (Australia)
217 0.85%.in (India)
101 0.76%.jp (Japan)
73 0.47%.ws (Samoa)
239 0.35%.ru (Russia)
39 0.32%.co (Colombia)
165 0.26%.br (Brazil)
92 0.23%.edu (USA Higher Education)
51 0.23%.ca (Canada)
17 0.22%.nl (Netherlands)
12 0.18%.ph (Philippines)
186 0.13%[unknown domain]
63 0.13%.sg (Singapore)
18 0.11%.nz (New Zealand)
28 0.10%.ro (Romania)
72 0.09%.es (Spain)
7 0.09%.gh (Ghana)
19 0.09%.tr (Turkey)
23 0.08%.ch (Switzerland)
58 0.08%.fr (France)
11 0.08%.zw (Zimbabwe)
9 0.08%.vn (Vietnam)
24 0.08%.mx (Mexico)
30 0.08%.np (Nepal)
9 0.08%.dk (Denmark)
29 0.07%.id (Indonesia)
54 0.07%.it (Italy)
12 0.07%.za (South Africa)
16 0.07%.pl (Poland)
45 0.07%.gr (Greece)
3 0.06%.th (Thailand)
30 0.06%.ar (Argentina)
26 0.05%.hu (Hungary)
43 0.05%.cn (China)
21 0.04%.ng (Nigeria)
5 0.04%.om (Oman)
12 0.04%.lk (Sri Lanka)
17 0.03%.cz (Czech Republic)
2 0.03%.tw (Taiwan)
2 0.03%.mz (Mozambique)
12 0.03%.se (Sweden)
2 0.03%.lv (Latvia)
2 0.02%.mu (Mauritius)
13 0.02%.hk (Hong Kong)
7 0.02%.bg (Bulgaria)
22 0.02%.at (Austria)
5 0.02%.tt (Trinidad and Tobago)
4 0.02%.tv (Tuvalu)
3 0.01%.hr (Croatia)
7 0.01%.pk (Pakistan)
5 0.01%.ua (Ukraine)
1 0.01%.cy (Cyprus)
6 0.01%.fi (Finland)
10 0.01%.ie (Ireland)
1 0.01%.sk (Slovakia)
5 0.01%.bo (Bolivia)
5 0.01%.io (British Indian Ocean Territory)
3 0.01%.be (Belgium)
5 0.01%.gov (USA Government)
1 .ee (Estonia)
1 .am (Armenia)
1 .int (International Treaty Organisations)
1 .kg (Kyrgyzstan)
1 .md (Moldova)
1 .ps (Occupied Palestinian Territory)
9 .org (Non Profit Making Organisations)
1 .by (Belarus)
5 .il (Israel)
2 .ug (Uganda)
1 .cl (Chile)
2 .ly (Libya)
1 .bd (Bangladesh)
1 .gt (Guatemala)
1 .ir (Iran)

Organisation Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the organisations of the computers which requested files.

Listing the top 20 organisations by the number of requests, sorted by the number of requests.

reqs%bytesorganisation
1292 6.77%msn.com
1035 4.01%baidu.com
972 4.28%amazonaws.com
811 4.74%yandex.com
66210.29%cam.ac.uk
499 1.88%[domain not given]
335 1.00%your-server.de
256 8.38%arquivo.pt
256 1.07%41
192 2.07%opera-mini.net
186 0.13%[unknown domain]
184 1.18%ipvnow.com
164 221.182
164 0.10%mail.ru
157 0.72%117
153 0.06%sogou.com
152 0.01%4
115 0.32%virginm.net
113 0.47%google.com
101 0.89%103
740151.65%[not listed: 953 organisations]

Search Word Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists which words people used in search engines to find the site.

Listing the top 30 query words by the number of requests, sorted by the number of requests.

reqssearch term
153pdf
149software
139engineering
43notes
25se
22nots
21pdf.com
20of
16i.pdf
16http://www.cl.cam.ac.uk/~lp15/papers/notes/se
15for
13system
13sotware
13all
12in
11equivalence
11and
9on
8about
8polytechnic
7the
6courses
6precticals
6engneering
6general
6bsc
6details
6protocols
6proof
6engeenering
257[not listed: 128 search terms]

Operating System Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the operating systems used by visitors.

Listing operating systems, sorted by the number of requests for pages.

no.reqspagesOS
145791756OS unknown
255991557Windows
 38571174  Unknown Windows
 1301258  Windows NT
 415117  Windows XP
 134  Windows 2000
 73  Windows 98
 21  Windows CE
 20  Windows 95
 10  Windows ME
 10  Windows Server 2003
31758620Macintosh
41659516Known robots
51556435Unix
 1541427  Linux
 127  BSD
 21  Other Unix
 10  IRIX
611Amiga
720RISC OS

Status Code Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the HTTP status codes of all requests.

Listing status codes, sorted numerically.

reqsstatus code
11863200 OK
2554206 Partial content
97301 Document moved permanently
783304 Not modified since last retrieval
79403 Access forbidden
417404 Document not found

File Size Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the sizes of files.

sizereqs%bytes
0967 
1B- 10B4 
11B- 100B2 
101B- 1kB333 
1kB- 10kB3058 0.21%
10kB-100kB5020 3.29%
100kB- 1MB529733.87%
1MB- 10MB44320.31%
10MB-100MB7642.32%

File Type Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the extensions of files.

Listing extensions with at least 0.1% of the traffic, sorted by the amount of traffic.

reqs%bytesextension
847549.13%.pdf [Adobe Portable Document Format]
28642.28%.gz [Gzip compressed files]
18342.09%  .tar.gz [Compressed archives]
48 6.42%.tbz
777 0.75%.jpg [JPEG graphics]
3377 0.43%[directories]
3 0.34%.zip [Zip archives]
3 0.26%.tgz
1515 0.24%.html [Hypertext Markup Language]
716 0.14%[not listed: 8 extensions]

Request Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the files on the site.

Listing files with at least 0.03% of the requests, sorted by the number of requests.

reqs%byteslast timefile
202914.76%27/Jun/16 10:36/~lp15/papers/Notes/SE-I.pdf
712 0.11%27/Jun/16 10:44/~lp15/
451 0.02%27/Jun/16 10:41/~lp15/MLbook/
373 1.98%26/Jun/16 20:48/~lp15/papers/Reports/equivclasses-slides.pdf
357 0.41%27/Jun/16 09:19/~lp15/images/larry-home-small.jpg
340 1.67%27/Jun/16 11:35/~lp15/papers/Formath/Residue-theorem.pdf
337 0.28%27/Jun/16 09:19/~lp15/images/acm-logo.jpg
303 0.69%27/Jun/16 01:02/~lp15/papers/Notes/Founds-FP.pdf
240 3.79%26/Jun/16 21:10/~lp15/papers/Reports/thesis.pdf
210 0.03%26/Jun/16 23:33/~lp15/papers/Arith/
189 0.02%26/Jun/16 20:15/~lp15/papers/UNITY/
185 1.05%22/Jun/16 21:10/~lp15/papers/Notes/LCF+.pdf
173 0.69%27/Jun/16 08:33/~lp15/papers/Auth/jcs.pdf
169 0.01%27/Jun/16 07:25/~lp15/MLbook/programs/
150 3.36%26/Jun/16 17:33/~lp15/Sue/Thesis.pdf
145 0.10%27/Jun/16 04:56/~lp15/papers/refereed.html
129 0.48%27/Jun/16 09:27/~lp15/papers/Reports/equivclasses.pdf
126 0.49%27/Jun/16 11:39/~lp15/papers/Formath/Greens-theorem.pdf
119 0.75%27/Jun/16 07:51/~lp15/papers/Formath/Goedel-ar.pdf
104 0.02%27/Jun/16 09:20/~lp15/papers/Auth/
100 27/Jun/16 04:56/~lp15/MLbook/programs/ROOT.sml
85 27/Jun/16 07:25/~lp15/MLbook/programs/sample2.sml
84 27/Jun/16 07:19/~lp15/MLbook/exercises/
79 0.29%26/Jun/16 23:35/~lp15/papers/Isabelle/fleuriot-kepler.pdf
79 0.02%26/Jun/16 18:11/~lp15/Grants/SET/
79 0.07%27/Jun/16 07:11/~lp15/papers/Reports/mutil.pdf
78 0.01%26/Jun/16 23:23/~lp15/Sue/
75 0.19%27/Jun/16 01:34/~lp15/papers/Auth/tls.pdf
73 0.09%25/Jun/16 21:38/~lp15/papers/Auth/yahalom.pdf
68 27/Jun/16 07:15/~lp15/MLbook/pub-details.html
67 0.11%24/Jun/16 14:26/~lp15/papers/Formath/Goedel-logic.pdf
67 0.01%25/Jun/16 22:29/~lp15/papers/Formath/
67 0.07%26/Jun/16 23:27/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
66 26/Jun/16 09:19/~lp15/papers/Arith/download.html
66 26/Jun/16 23:28/~lp15/papers/
65 0.01%27/Jun/16 06:25/~lp15/papers/Automation/
63 0.01%26/Jun/16 20:38/~lp15/MLbook/exercises/exer2.html
62 0.01%25/Jun/16 09:58/~lp15/Grants/AutoPolyFun/
61 0.08%24/Jun/16 21:01/~lp15/Usage/
60 0.01%27/Jun/16 00:18/~lp15/Grants/LEO-II/
60 0.26%25/Jun/16 12:38/~lp15/papers/Bella/smartcards-jcs.pdf
58 27/Jun/16 10:39/~lp15/Grants/
58 0.01%27/Jun/16 01:35/~lp15/papers/Reports/
57 0.07%25/Jun/16 02:54/~lp15/papers/Auth/SET-overview-2002.pdf
57 26/Jun/16 14:55/~lp15/papers/lecture-courses.html
56 0.01%26/Jun/16 09:25/~lp15/MLbook/ERRATA.html
55 0.09%27/Jun/16 04:06/~lp15/Pages/vita.pdf
55 0.01%26/Jun/16 23:24/~lp15/papers/Isabelle/
54 0.22%26/Jun/16 22:39/~lp15/papers/Bella/accountability.pdf
53 0.01%26/Jun/16 19:00/~lp15/Grants/Automation/
52 27/Jun/16 07:17/~lp15/Pages/cv.html
52 0.08%26/Jun/16 18:50/~lp15/papers/Auth/lics.pdf
52 0.01%25/Jun/16 05:45/~lp15/papers/workshop.html
50 0.11%26/Jun/16 23:15/~lp15/papers/Bella/nonrepudiation.pdf
50 0.01%26/Jun/16 20:10/~lp15/archive/
50 0.28%25/Jun/16 10:16/~lp15/papers/Arith/MetiTarski-jar.pdf
50 26/Jun/16 21:23/~lp15/Pages/projects.html
49 27/Jun/16 08:46/~lp15/papers/Notes/
49 0.10%27/Jun/16 11:48/~lp15/papers/Automation/paar.pdf
48 0.26%25/Jun/16 18:18/~lp15/papers/Bella/purchase-JAR.pdf
46 0.13%25/Jun/16 23:58/~lp15/papers/Formath/AC.pdf
46 0.12%27/Jun/16 02:30/~lp15/papers/Auth/multicast_verification.pdf
46 0.12%27/Jun/16 00:14/~lp15/papers/Automation/translations.pdf
46 0.01%25/Jun/16 21:24/~lp15/Grants/UNITY/
45 26/Jun/16 05:44/~lp15/Pages/CL-English.html
45 0.11%26/Jun/16 18:34/~lp15/papers/Bella/esorics98.pdf
45 27/Jun/16 01:39/~lp15/papers/Arith/qepcad-for-mac.html
45 0.10%27/Jun/16 08:30/~lp15/papers/Bella/registration.pdf
43 0.17%27/Jun/16 10:34/~lp15/papers/Formath/set-I.pdf
42 0.30%26/Jun/16 21:58/~lp15/Pages/Munich-slides.pdf
42 0.11%25/Jun/16 18:22/~lp15/papers/Arith/Hscc09.pdf
41 25/Jun/16 12:56/~lp15/MLbook/general.html
41 0.01%26/Jun/16 20:36/~lp15/papers/invited.html
41 27/Jun/16 11:32/~lp15/papers/Workshop/
41 0.12%27/Jun/16 06:20/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
41 0.11%26/Jun/16 22:22/~lp15/papers/Bella/certified-email.pdf
41 0.08%26/Jun/16 22:33/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
41 0.27%24/Jun/16 04:00/~lp15/papers/Arith/Sogokon-nfm14.pdf
40 0.01%23/Jun/16 13:53/~lp15/MLbook/programs/sample3.sml
39 0.14%26/Jun/16 22:34/~lp15/papers/Automation/filtering.pdf
39 25/Jun/16 18:52/~lp15/SpryAssets/
39 0.08%26/Jun/16 20:46/~lp15/papers/UNITY/tphols01.pdf
39 0.12%27/Jun/16 03:49/~lp15/papers/UNITY/Mechanizing-compositional.pdf
39 25/Jun/16 20:07/~lp15/MLbook/programs/sample5.sml
38 0.02%27/Jun/16 02:55/~lp15/Sue/Sue Paulson.jpg
38 27/Jun/16 03:15/~lp15/papers/hol.html
37 24/Jun/16 12:18/~lp15/Grants/BeyondLinArith/
37 0.06%26/Jun/16 18:58/~lp15/papers/Isabelle/chap700.pdf
37 0.08%27/Jun/16 08:06/~lp15/papers/Notes/strategy.pdf
37 0.10%27/Jun/16 06:15/~lp15/papers/Automation/meng-termination.pdf
37 0.01%27/Jun/16 03:26/~lp15/MLbook/exercises/exer8.html
37 0.01%24/Jun/16 21:01/~lp15/Pages/Scream.html
36 0.15%26/Jun/16 05:35/~lp15/papers/Automation/translations-jar.pdf
36 27/Jun/16 09:31/~lp15/MLbook/disclaimer.html
36 27/Jun/16 09:45/~lp15/MLbook/review.html
35 0.02%26/Jun/16 19:03/~lp15/papers/Reviews/MLer.pdf
35 0.12%26/Jun/16 19:08/~lp15/papers/Auth/SET-overview-IJIS.pdf
35 0.17%26/Jun/16 05:50/~lp15/papers/UNITY/composition.pdf
35 0.07%26/Jun/16 03:04/~lp15/Grants/AutoPolyFun/case.pdf
35 0.12%26/Jun/16 02:19/~lp15/papers/Formath/reflection.pdf
34 25/Jun/16 00:59/~lp15/papers/recur.html
34 0.01%25/Jun/16 07:43/~lp15/Usage/images/
33 14/Jun/16 23:29/~lp15/Pages/
33 0.09%27/Jun/16 00:34/~lp15/papers/Formath/automata.pdf
33 27/Jun/16 10:38/~lp15/MLbook/first/
33 0.02%27/Jun/16 08:21/~lp15/papers/Reviews/construct.pdf
33 0.06%27/Jun/16 08:19/~lp15/papers/Arith/Narayanan DATE.pdf
32 26/Jun/16 03:56/~lp15/papers/Bella/
32 27/Jun/16 08:49/~lp15/images/
32 0.15%26/Jun/16 20:00/~lp15/papers/Automation/reconstruction.pdf
32 26/Jun/16 22:26/~lp15/papers/Arith/atan-problem-1-weak.html
32 0.07%25/Jun/16 20:04/~lp15/papers/Bella/purchase.pdf
31 0.01%27/Jun/16 06:59/~lp15/MLbook/exercises/exer3.html
31 0.07%26/Jun/16 19:27/~lp15/papers/Automation/IJCAR2004.pdf
31 0.75%27/Jun/16 06:19/~lp15/papers/Auth/lics-slides.pdf
31 0.09%26/Jun/16 20:59/~lp15/papers/Reports/TPHOLs05.pdf
31 25/Jun/16 17:04/~lp15/Data/
31 0.04%27/Jun/16 11:05/~lp15/papers/Workshop/friedrich.pdf
31 0.37%26/Jun/16 20:22/~lp15/papers/Reports/ref97.pdf
31 0.03%26/Jun/16 05:05/~lp15/papers/Reports/CADE9.pdf
30 27/Jun/16 10:33/~lp15/papers/Reviews/
30 14/Jun/16 23:29/~lp15/papers/Ballarin/
29 0.01%27/Jun/16 06:57/~lp15/MLbook/programs/sample7.sml
29 26/Jun/16 23:46/~lp15/tmp/
29 0.01%26/Jun/16 02:05/~lp15/MLbook/exercises/exer6.html
29 0.11%25/Jun/16 22:53/~lp15/papers/Formath/reflection-slides.pdf
29 0.50%22/Jun/16 13:22/~lp15/papers/Formath/Goedel-slides.pdf
29 0.07%26/Jun/16 15:53/~lp15/papers/Arith/SNC2014-invited.pdf
29 0.08%24/Jun/16 08:58/~lp15/papers/Bella/esorics2000.pdf
29 0.07%26/Jun/16 07:33/~lp15/papers/Automation/cade2011-sledge-smt.pdf
29 0.22%27/Jun/16 01:03/~lp15/papers/Automation/info-and-comp.pdf
28 0.07%27/Jun/16 03:38/~lp15/papers/Reports/blast.pdf
28 0.06%24/Jun/16 18:38/~lp15/papers/Automation/leo2-ijcar.pdf
28 0.38%26/Jun/16 23:28/~lp15/papers/Automation/reconstruction-slides.pdf
28 25/Jun/16 04:29/~lp15/Templates/
28 23/Jun/16 23:41/~lp15/papers/books.html
28 0.11%25/Jun/16 11:19/~lp15/papers/Workshop/papers/kammueller.pdf
27 0.03%24/Jun/16 08:52/~lp15/Grants/LEO-II/leo2-case.pdf
27 0.07%25/Jun/16 13:22/~lp15/papers/Arith/lpar2007.pdf
27 0.01%27/Jun/16 10:14/~lp15/images/pilkington.jpg
27 0.10%26/Jun/16 22:39/~lp15/papers/Notes/MOD-slides.pdf
27 0.05%26/Jun/16 17:11/~lp15/papers/Workshop/papers/kalvala-linear.pdf
27 0.04%27/Jun/16 05:17/~lp15/papers/Arith/pdpar2006.pdf
26 0.01%26/Jun/16 18:17/~lp15/MLbook/programs/sample8.sml
26 0.03%27/Jun/16 09:49/~lp15/Sue/Cultures of Dance.ppt
26 22/Jun/16 22:43/~lp15/MLbook/programs/sample4.sml
26 0.16%26/Jun/16 22:49/~lp15/papers/Reports/logics97.pdf
26 0.05%23/Jun/16 18:48/~lp15/papers/Automation/thf-sledge.pdf
26 26/Jun/16 02:07/~lp15/css/
25 0.03%23/Jun/16 08:19/~lp15/papers/Auth/auth-slides.pdf
25 0.05%26/Jun/16 22:21/~lp15/papers/Bella/cav98.pdf
25 0.06%25/Jun/16 17:29/~lp15/papers/Workshop/papers/thompson.pdf
25 0.13%27/Jun/16 09:08/~lp15/papers/Reports/fleuriot-kepler.pdf
25 0.12%26/Jun/16 01:29/~lp15/papers/UNITY/UNITY.pdf
25 0.01%20/Jun/16 19:36/~lp15/MLbook/exercises/exer7.html
25 0.13%24/Jun/16 13:39/~lp15/papers/Workshop/papers/rasmussen.pdf
25 24/Jun/16 20:02/~lp15/Pages/ACS-proposals.html
24 0.05%26/Jun/16 01:33/~lp15/papers/UNITY/ehmety-composition.pdf
24 25/Jun/16 11:48/~lp15/papers/Deduction/
24 0.01%26/Jun/16 05:40/~lp15/MLbook/exercises/exer4.html
24 0.17%26/Jun/16 19:13/~lp15/papers/Reports/intro-to-isabelle.pdf
24 0.14%25/Jun/16 09:32/~lp15/papers/Arith/calculemus2008.pdf
24 0.08%23/Jun/16 20:52/~lp15/papers/Workshop/papers/vigano.pdf
24 27/Jun/16 05:11/~lp15/papers/Workshop/participants.html
23 0.05%26/Jun/16 22:18/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
23 25/Jun/16 08:05/~lp15/MLbook/programs/sample9.sml
23 0.06%20/Jun/16 21:44/~lp15/papers/Automation/jar-smt.pdf
23 27/Jun/16 08:00/~lp15/Grants/holisa.html
23 0.16%25/Jun/16 06:50/~lp15/papers/Auth/SET-overview-slides.pdf
23 27/Jun/16 08:47/~lp15/MLbook/first/ERRATA1.txt
23 0.10%27/Jun/16 11:24/~lp15/papers/Formath/constructible-slides.pdf
23 0.04%27/Jun/16 05:37/~lp15/papers/Arith/ITP-2012-invited.pdf
22 26/Jun/16 20:08/~lp15/papers/Workshop/staples.html
22 0.01%23/Jun/16 03:36/~lp15/MLbook/programs/sample10.sml
22 26/Jun/16 18:12/~lp15/MLbook/exercises/exer5.html
22 0.04%26/Jun/16 21:14/~lp15/papers/Arith/fmcad2009.pdf
22 0.04%25/Jun/16 23:36/~lp15/papers/Auth/ijcar2001.pdf
22 1.17%25/Jun/16 10:03/~lp15/papers/Arith/FroCos-presentation.pdf
22 27/Jun/16 03:23/~lp15/Data/relevance/
21 25/Jun/16 04:33/~lp15/MLbook/programs/notes.html
21 0.05%25/Jun/16 10:12/~lp15/papers/Arith/case-splitting.pdf
21 0.05%26/Jun/16 02:10/~lp15/papers/Workshop/papers/voelker.pdf
21 0.04%27/Jun/16 09:13/~lp15/papers/Workshop/papers/owens.pdf
21 0.61%20/Jun/16 06:11/~lp15/Sue/Thesis-Appendices.pdf
20 0.24%27/Jun/16 09:55/~lp15/Grants/Automation/poster.pdf
19 26/Jun/16 21:49/~lp15/Data/ho-translations/
19 0.25%26/Jun/16 20:11/~lp15/papers/Reports/TypeClasses.pdf
19 0.04%25/Jun/16 13:26/~lp15/papers/Workshop/papers/benini.pdf
19 0.27%26/Jun/16 01:31/~lp15/papers/Notes/formalizing-abst-slides.pdf
19 0.03%26/Jun/16 05:14/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
19 0.05%26/Jun/16 18:57/~lp15/Pages/harrison-real.pdf
19 0.03%26/Jun/16 14:05/~lp15/papers/Reports/CADE11.pdf
19 0.02%23/Jun/16 01:29/~lp15/papers/Workshop/kammueller.pdf
18 26/Jun/16 23:45/~lp15/Grants/arith.html
18 0.04%25/Jun/16 23:03/~lp15/papers/Formath/final.pdf
18 0.02%25/Jun/16 19:49/~lp15/papers/Arith/FroCoS-2013-invited.pdf
18 17/Jun/16 01:15/~lp15/MLbook/first/programs/
17 0.01%22/Jun/16 21:58/~lp15/MLbook/programs/test10.sml
17 0.09%25/Jun/16 19:46/~lp15/papers/Auth/SET-document.pdf
17 0.10%22/Jun/16 22:48/~lp15/papers/Auth/tls-slides.pdf
17 0.08%26/Jun/16 22:22/~lp15/papers/Automation/filtering-jal.pdf
17 0.04%22/Jun/16 22:46/~lp15/papers/Bella/dimacs97.pdf
17 0.04%17/Jun/16 14:27/~lp15/papers/Isabelle/blast.pdf
17 24/Jun/16 14:37/~lp15/MLbook/exercises/disclaimer.html
16 0.03%27/Jun/16 03:03/~lp15/papers/Workshop/papers/ayari.pdf
16 0.02%25/Jun/16 04:00/~lp15/Grants/Automation/final.pdf
16 0.11%23/Jun/16 00:16/~lp15/papers/Isabelle/Cube-presentation.pdf
16 25/Jun/16 10:17/~lp15/papers/Arith/RELEASE-NOTES.txt
16 0.14%21/Jun/16 04:08/~lp15/papers/Automation/h4qed-clean.pdf
16 0.15%22/Jun/16 02:21/~lp15/papers/Bella/TPHOLs03-slides.pdf
15 23/Jun/16 03:51/~lp15/MLbook/first/programs/ParsePrint.ML
15 26/Jun/16 11:05/~lp15/papers/Workshop/nipkow.html
15 25/Jun/16 06:17/~lp15/papers/Workshop/kalvala.html
15 0.01%26/Jun/16 05:27/~lp15/papers/Notes/strategy-slides.pdf
15 27/Jun/16 07:05/~lp15/Grants/auth.html
15 20/Jun/16 19:33/~lp15/MLbook/programs/sample8-old.sml
15 0.01%19/Jun/16 19:14/~lp15/papers/paulson.bib
15 27/Jun/16 01:50/~lp15/papers/Workshop/paulson.html
15 0.04%17/Jun/16 00:41/~lp15/papers/Arith/Huang-3heuristics.pdf
15 0.01%27/Jun/16 07:37/~lp15/Grants/Automation/case.pdf
15 0.03%20/Jun/16 21:21/~lp15/papers/Formath/constructible-abstract.pdf
15 0.04%26/Jun/16 05:02/~lp15/papers/Formath/milner-ind-defs.pdf
14 0.03%25/Jun/16 05:39/~lp15/papers/Workshop/papers/staples.pdf
14 0.08%22/Jun/16 17:24/~lp15/papers/Reports/Bridge-ml.pdf
14 0.32%25/Jun/16 10:32/~lp15/Grants/BeyondLinArith/arith-poster.pdf
14 16/Jun/16 01:47/~lp15/MLbook/first/programs/Lists-Trees.ML
14 0.02%23/Jun/16 08:34/~lp15/papers/Notes/leeds-notes.pdf
14 0.15%27/Jun/16 07:36/~lp15/papers/Reports/TypeClasses-slides.pdf
14 0.06%25/Jun/16 20:28/~lp15/papers/Workshop/papers/bednarczyk.pdf
14 0.04%19/Jun/16 19:25/~lp15/papers/Formath/Goedel-logic-mine.pdf
14 0.01%26/Jun/16 09:48/~lp15/Grants/UNITY/case.pdf
14 0.11%20/Jun/16 10:58/~lp15/papers/Deduction/lecture3.pdf
14 25/Jun/16 07:19/~lp15/papers/Workshop/agerholm.html
14 0.04%26/Jun/16 23:28/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
14 0.02%14/Jun/16 18:07/~lp15/papers/Auth/recur-slides.pdf
13 0.01%14/Jun/16 18:23/~lp15/MLbook/first/ML-syntax.ps.gz
13 20/Jun/16 12:22/~lp15/papers/Workshop/matthews.html
13 0.13%22/Jun/16 05:18/~lp15/papers/Deduction/lecture1.pdf
13 7.53%26/Jun/16 18:40/~lp15/archive/Isabelle2015.tar.gz
13 0.01%20/Jun/16 02:56/~lp15/papers/Arith/NFM2014-invited.pdf
13 26/Jun/16 20:14/~lp15/Grants/temporal.html
13 0.08%20/Jun/16 11:14/~lp15/papers/Deduction/lecture4.pdf
13 25/Jun/16 02:18/~lp15/Grants/Chaieb.html
13 0.06%24/Jun/16 12:16/~lp15/papers/Arith/cicm2012.pdf
13 25/Jun/16 14:17/~lp15/papers/Workshop/programme.html
13 0.06%21/Jun/16 18:10/~lp15/papers/Formath/set-II.pdf
12 0.30%27/Jun/16 04:17/~lp15/Sue/Phd-Poster.pdf
12 0.01%23/Jun/16 03:11/~lp15/papers/Arith/Overcoming.pdf
12 20/Jun/16 19:33/~lp15/MLbook/programs/sample8-2004.sml
12 21/Jun/16 02:56/~lp15/MLbook/first/programs/Lambda.ML
12 20/Jun/16 19:33/~lp15/MLbook/programs/sample10-old.sml
12 0.09%26/Jun/16 23:23/~lp15/Grants/BeyondLinArith/arith-case.pdf
12 0.03%21/Jun/16 19:12/~lp15/papers/Workshop/papers/matthews.pdf
12 24/Jun/16 09:21/~lp15/papers/Workshop/thompson.html
12 0.65%25/Jun/16 10:12/~lp15/papers/Arith/ITP 2012 presentation.pdf
12 25/Jun/16 15:13/~lp15/MLbook/first/programs/Functions.ML
12 26/Jun/16 22:20/~lp15/papers/OLD.SETS/
12 22/Jun/16 10:16/~lp15/MLbook/StandardML.plist
12 20/Jun/16 19:33/~lp15/MLbook/programs/sample3-old.sml
11 26/Jun/16 05:08/~lp15/papers/Formath/AC-slides.pdf
11 0.39%21/Jun/16 09:49/~lp15/Grants/LEO-II/leo project poster.pdf
11 0.05%21/Jun/16 23:27/~lp15/papers/Automation/sultana-pfreconstruction.pdf
11 0.03%27/Jun/16 10:47/~lp15/papers/Isabelle/aisc98.pdf
11 0.02%23/Jun/16 22:53/~lp15/papers/Workshop/vigano.pdf
11 0.18%25/Jun/16 10:14/~lp15/papers/Arith/metit-slides.pdf
11 25/Jun/16 06:13/~lp15/MLbook/first/programs/Modules.ML
11 20/Jun/16 19:33/~lp15/MLbook/programs/sample9-2004.sml
11 0.12%23/Jun/16 10:19/~lp15/papers/Auth/dagstuhl2003-slides.pdf
11 0.18%20/Jun/16 02:44/~lp15/papers/Auth/ijcar2001-slides.pdf
11 21/Jun/16 16:36/~lp15/Sue/Cultures of Dance.html
10 18/Jun/16 01:40/~lp15/MLbook/first/ERRATA3.txt
10 0.15%23/Jun/16 14:02/~lp15/papers/Auth/dagstuhl2001-slides.pdf
10 0.02%26/Jun/16 17:10/~lp15/papers/Isabelle/Goedel-logic.pdf
10 25/Jun/16 11:19/~lp15/MLbook/first/answers1-5.txt.gz
10 0.30%25/Jun/16 10:06/~lp15/papers/Arith/SNC2014-slides.pdf
10 0.08%26/Jun/16 20:37/~lp15/papers/Arith/NFM2014-slides.pdf
10 14/Jun/16 09:20/~lp15/papers/Workshop/futures.html
10 0.03%21/Jun/16 09:08/~lp15/papers/Workshop/papers/agerholm.pdf
9 0.04%26/Jun/16 01:33/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
9 0.01%26/Jun/16 11:04/~lp15/papers/Reports/Descent of BAN.pdf
9 0.02%13/Jun/16 15:15/~lp15/papers/Isabelle/coding.pdf
9 0.03%21/Jun/16 07:06/~lp15/papers/Isabelle/sylow.pdf
9 0.01%18/Jun/16 12:41/~lp15/papers/Auth/security-protocols.pdf
9 27/Jun/16 03:24/~lp15/MLbook/first/programs/Imperative.ML
9 25/Jun/16 04:06/~lp15/MLbook/first/ERRATA2.txt
8 0.11%25/Jun/16 23:59/~lp15/papers/Reports/popl82.pdf
8 0.02%23/Jun/16 22:13/~lp15/Grants/Chaieb-case.pdf
8 19/Jun/16 17:08/~lp15/papers/Formath/ind-defs-slides.pdf
8 25/Jun/16 00:58/~lp15/papers/Workshop/heule.html
8 25/Jun/16 00:58/~lp15/papers/Workshop/owens.txt
8 23/Jun/16 23:22/~lp15/images/larry-paulson.jpg
8 0.01%24/Jun/16 10:25/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
8 2.48%26/Jun/16 12:57/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
8 2.53%25/Jun/16 08:05/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
8 14/Jun/16 18:23/~lp15/Data/relevance/unfiltered-spass.txt
8 0.02%24/Jun/16 23:27/~lp15/papers/Ballarin/aisc98.pdf
8 25/Jun/16 15:12/~lp15/Data/relevance/unfiltered-vampire.txt
8 26/Jun/16 20:15/~lp15/Grants/temporal-final.pdf
7 23/Jun/16 01:43/~lp15/Sue/Cultures of Dance.pdf
7 0.02%25/Jun/16 09:50/~lp15/papers/Arith/case-splitting-stats.csv
7 0.44%26/Jun/16 12:56/~lp15/Data/ho-translations/Comb.tbz
7 0.08%13/Jun/16 18:00/~lp15/papers/Formath/constructible-theory.pdf
7 0.01%26/Jun/16 21:26/~lp15/archive/Isabelle86.tar.gz
7 17/Jun/16 09:18/~lp15/Grants/SET/case.pdf
7 17/Jun/16 19:56/~lp15/papers/Isabelle/blast-slides.pdf
7 0.05%22/Jun/16 20:51/~lp15/papers/Automation/Huet colloquium.pdf
7 0.05%24/Jun/16 03:29/~lp15/papers/Deduction/lecture2.pdf
7 2.97%24/Jun/16 05:58/~lp15/archive/Isabelle2011.tar.gz
7 25/Jun/16 16:54/~lp15/papers/Workshop/wolff.html
6 0.06%22/Jun/16 09:33/~lp15/archive/Isabelle94.tar.gz
6 0.04%20/Jun/16 07:49/~lp15/images/pilkington-full.jpg
6 18/Jun/16 01:25/~lp15/Grants/UNITY/final.pdf
6 0.02%24/Jun/16 05:57/~lp15/archive/Isabelle90.tar.gz
6 21/Jun/16 11:49/~lp15/papers/Workshop/bednarczyk.txt
6 18/Jun/16 19:47/~lp15/MLbook/first/answers8.txt.gz
6 0.02%23/Jun/16 07:53/~lp15/papers/Workshop/papers/nipkow.pdf
6 26/Jun/16 04:05/~lp15/Grants/SET/final.pdf
6 0.17%24/Jun/16 05:53/~lp15/archive/Isabelle94-8.tar.gz
6 22/Jun/16 20:12/~lp15/Grants/auth-final.pdf
6 0.45%24/Jun/16 05:58/~lp15/archive/Isabelle2002.tar.gz
6 0.21%19/Jun/16 13:12/~lp15/papers/Arith/Overcoming-slides.pdf
6 5.01%24/Jun/16 05:59/~lp15/archive/Isabelle2013-2.tar.gz
6 0.02%19/Jun/16 23:49/~lp15/Data/relevance/tptp-2007-03-13.tbz
6 14/Jun/16 18:23/~lp15/MLbook/first/ML-syntax.dvi.gz
6 4.71%24/Jun/16 05:58/~lp15/archive/Isabelle2012.tar.gz
6 0.08%24/Jun/16 05:57/~lp15/archive/Isabelle93.tar.gz
6 14/Jun/16 18:27/~lp15/MLbook/first/programs/Hal.ML
6 21/Jun/16 03:10/~lp15/papers/Workshop/ayari.pdf
6 0.02%10/Jun/16 05:07/~lp15/papers/Ballarin/coding.pdf
5 0.08%24/Jun/16 05:53/~lp15/archive/Isabelle94-6.tar.gz
5 4.33%24/Jun/16 05:58/~lp15/archive/Isabelle2013.tar.gz
5 0.21%24/Jun/16 05:58/~lp15/archive/Isabelle98-1.tar.gz
5 0.01%26/Jun/16 01:37/~lp15/papers/Workshop/front.pdf
5  9/Jun/16 07:43/~lp15/Grants/BeyondLinArith/auth-final.pdf
5 0.72%24/Jun/16 05:58/~lp15/archive/Isabelle2009.tar.gz
5 0.01%19/Jun/16 14:15/~lp15/papers/OLD.SETS/final.pdf
5 0.26%24/Jun/16 05:58/~lp15/archive/Isabelle99.tar.gz
5 14/Jun/16 18:26/~lp15/archive/isabelle-users.90-92.gz
5 14/Jun/16 18:23/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
5 0.49%24/Jun/16 05:58/~lp15/archive/Isabelle2005.tar.gz
5 0.09%24/Jun/16 05:53/~lp15/archive/Isabelle94-7.tar.gz
5 0.01%23/Jun/16 07:59/~lp15/papers/Workshop/papers/paulson.pdf
5 0.02%24/Jun/16 05:57/~lp15/archive/Isabelle91.tar.gz
5 0.28%14/Jun/16 18:23/~lp15/Data/ho-translations/Abst.tbz
5 14/Jun/16 18:27/~lp15/archive/ERRATA.txt
5 0.02%24/Jun/16 05:57/~lp15/archive/Isabelle92.tar.gz
5 0.03% 8/Jun/16 17:03/~lp15/papers/Formath/LiRealAlgebraicNumbers.pdf
5 0.01%14/Jun/16 18:27/~lp15/archive/compgen.tar.gz
5 0.60%24/Jun/16 05:58/~lp15/archive/Isabelle2007.tar.gz
5 26/Jun/16 18:22/~lp15/Data/ho-translations/Theories.tbz
5 0.02%25/Jun/16 23:49/~lp15/papers/Arith/Narayanan TR.pdf
5 0.43%24/Jun/16 05:58/~lp15/archive/Isabelle2003.tar.gz
5 0.03%20/Jun/16 21:47/~lp15/Grants/arith-case.pdf
5 1.67%24/Jun/16 05:58/~lp15/archive/Isabelle2009-1.tar.gz
5 0.60%24/Jun/16 05:58/~lp15/archive/Isabelle2008.tar.gz
5 0.01%24/Jun/16 05:57/~lp15/archive/Isabelle89.tar.gz
5 3.35%24/Jun/16 05:58/~lp15/archive/Isabelle2011-1.tar.gz
5 14/Jun/16 18:23/~lp15/Data/relevance/unfiltered-E.txt
5 0.16%22/Jun/16 09:43/~lp15/archive/Isabelle98.tar.gz
5 14/Jun/16 18:27/~lp15/archive/cant-ozols.ps.gz
5 0.45%24/Jun/16 05:58/~lp15/archive/Isabelle2004.tar.gz
152 9.37%26/Jun/16 18:21[not listed: 50 files]