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

Program started at Mon-21-Jul-2014 16:09.
Analysed requests from Fri-20-Jun-2014 04:25 to Mon-21-Jul-2014 15:52 (31.48 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 21-Jul-2014 16:09.

Successful requests: 18,332 (3,259)
Average successful requests per day: 582 (465)
Successful requests for pages: 5,344 (870)
Average successful requests for pages per day: 169 (124)
Failed requests: 587 (176)
Redirected requests: 116 (15)
Distinct files requested: 531 (318)
Distinct hosts served: 3,299 (830)
Unwanted logfile entries: 11,446
Data transferred: 7.03 gigabytes (767.61 megabytes)
Average data transferred per day: 228.74 megabytes (109.66 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 40 requests for pages or part thereof.

dayreqspages 
Sun2349563+++++++++++++++
Mon2691736+++++++++++++++++++
Tue42751594++++++++++++++++++++++++++++++++++++++++
Wed2181655+++++++++++++++++
Thu2040500+++++++++++++
Fri2553617++++++++++++++++
Sat2243679+++++++++++++++++

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
655727.58%[unresolved numerical addresses]
203322.69%[domain not given]
340210.30%.com (Commercial)
1873 9.98%.net (Networks)
730 7.83%.uk (United Kingdom)
62 5.87%.fr (France)
472 3.42%[unknown domain]
116 3.01%.org (Non Profit Making Organisations)
411 1.72%.in (India)
556 1.30%.de (Germany)
74 1.06%.au (Australia)
20 0.75%.co (Colombia)
84 0.39%.cn (China)
65 0.31%.gov (USA Government)
71 0.30%.br (Brazil)
163 0.24%.nl (Netherlands)
81 0.22%.ke (Kenya)
113 0.18%.it (Italy)
60 0.17%.gr (Greece)
90 0.17%.at (Austria)
9 0.16%.ua (Ukraine)
179 0.16%.edu (USA Higher Education)
118 0.13%.ru (Russia)
23 0.13%.id (Indonesia)
20 0.13%.pl (Poland)
35 0.12%.lk (Sri Lanka)
32 0.11%.np (Nepal)
20 0.09%.pt (Portugal)
14 0.08%.za (South Africa)
52 0.08%.jp (Japan)
26 0.08%.zw (Zimbabwe)
41 0.07%.hr (Croatia)
47 0.06%.ca (Canada)
29 0.06%.ar (Argentina)
7 0.05%.sg (Singapore)
13 0.05%.ge (Georgia)
34 0.05%.dk (Denmark)
23 0.05%.ro (Romania)
5 0.05%.arpa (Arpanet)
6 0.05%.bn (Brunei Darussalam)
16 0.05%.tr (Turkey)
33 0.04%.ch (Switzerland)
16 0.04%.ie (Ireland)
78 0.04%.cz (Czech Republic)
10 0.04%.hu (Hungary)
28 0.04%.ir (Iran)
23 0.04%.vn (Vietnam)
22 0.03%.mx (Mexico)
6 0.03%.al (Albania)
21 0.03%.lu (Luxembourg)
19 0.03%.pk (Pakistan)
3 0.02%.ba (Bosnia-Herzegovina)
2 0.02%.us (United States)
2 0.02%.na (Namibia)
2 0.02%.zm (Zambia)
3 0.02%.cu (Cuba)
16 0.02%.tz (Tanzania)
23 0.02%.fi (Finland)
16 0.02%.se (Sweden)
11 0.02%.th (Thailand)
14 0.01%.il (Israel)
1 0.01%.ga (Gabon)
1 0.01%.rw (Rwanda)
1 0.01%.sa (Saudi Arabia)
1 0.01%.ph (Philippines)
12 0.01%.pe (Peru)
101 0.01%.lt (Lithuania)
21 0.01%.es (Spain)
3 0.01%.uy (Uruguay)
3 .bg (Bulgaria)
24 .be (Belgium)
6 .cl (Chile)
3 .bd (Bangladesh)
1 .info (Informational)
3 .hk (Hong Kong)
3 .is (Iceland)
3 .tt (Trinidad and Tobago)
3 .sk (Slovakia)
3 .nz (New Zealand)
3 .my (Malaysia)
1 .cy (Cyprus)
1 .cm (Cameroon)
2 .no (Norway)
1 .mk (Macedonia (Former Yugoslav Republic))
1 .mz (Mozambique)

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
203322.69%[domain not given]
1059 4.30%msn.com
688 2.47%117
616 7.49%cam.ac.uk
593 2.00%41
472 3.42%[unknown domain]
375 0.76%plus.com
317 1.05%101
306 0.31%baidu.com
268 6.20%134.115
256 0.76%your-server.de
252 0.48%comcast.net
224 0.76%yandex.com
208 0.94%151.233
207 0.56%39
197 0.04%61.135
183 page2rss.com
181 1.86%opera-mini.net
162 0.53%as15003.net
162 0.54%103
957342.83%[not listed: 883 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
303software
271pdf
268engineering
89notes
49in
48book
45http://www.cl.cam.ac.uk/~lp15/papers/notes/se
45i.pdf
41bcs
33of
30and
26computer
25for
19engineering.pdf
18programs
18testing
18writing
17books
15free
15file
13on
13the
13bca
13download
12engineer
11a
11type:pdf
10to
9theorems
9hindi
514[not listed: 253 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
147872421OS unknown
287621029Windows
 6611616  Unknown Windows
 2035355  Windows XP
 3835  Windows 2000
 1918  Windows 98
 295  Windows Server 2003
 300  Windows NT
31084801Known robots
41737628Macintosh
51706379Unix
 1686369  Linux
 169  BSD
 41  Other Unix
6200Symbian 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
11565200 OK
6091206 Partial content
116301 Document moved permanently
676304 Not modified since last retrieval
62403 Access forbidden
525404 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
0830 
1B- 10B15 
11B- 100B7 
101B- 1kB264 
1kB- 10kB3280 0.19%
10kB-100kB7957 4.44%
100kB- 1MB540233.51%
1MB- 10MB49019.60%
10MB-100MB8742.25%

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
1095148.92%.pdf [Adobe Portable Document Format]
40840.58%.gz [Gzip compressed files]
19740.32%  .tar.gz [Compressed archives]
73 8.21%.tbz
11 1.05%.zip [Zip archives]
3612 0.36%[directories]
930 0.36%.jpg [JPEG graphics]
1732 0.22%.html [Hypertext Markup Language]
2 0.11%.tgz
613 0.19%[not listed: 9 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
500722.39%21/Jul/14 15:52/~lp15/papers/Notes/SE-I.pdf
859 0.12%21/Jul/14 15:49/~lp15/
565 1.23%21/Jul/14 12:53/~lp15/papers/Reports/equivclasses-slides.pdf
432 3.72%21/Jul/14 14:39/~lp15/papers/Reports/thesis.pdf
427 0.25%21/Jul/14 09:55/~lp15/images/acm-logo.jpg
426 0.08%21/Jul/14 09:55/~lp15/images/larry-paulson.jpg
380 0.01%21/Jul/14 15:11/~lp15/MLbook/
376 0.10%21/Jul/14 14:36/~lp15/papers/refereed.html
260 2.50%20/Jul/14 10:22/~lp15/Sue/Thesis.pdf
228 0.03%21/Jul/14 14:40/~lp15/papers/Arith/
216 0.38%21/Jul/14 05:36/~lp15/papers/Reports/fleuriot-kepler.pdf
134 0.02%21/Jul/14 10:53/~lp15/papers/Auth/
132 0.19%21/Jul/14 09:48/~lp15/papers/Isabelle/aisc98.pdf
124 0.43%21/Jul/14 07:53/~lp15/papers/Auth/jcs.pdf
120 0.21%21/Jul/14 12:18/~lp15/papers/Notes/Founds-FP.pdf
109 21/Jul/14 15:11/~lp15/MLbook/programs/
101 0.01%20/Jul/14 13:22/~lp15/papers/Sets/
93 1.18%18/Jul/14 16:23/~lp15/papers/Arith/FroCos-presentation.pdf
92 0.01%21/Jul/14 11:54/~lp15/papers/
13 21/Jul/14 11:54  /~lp15/papers/?C=S;O=A
91 0.01%20/Jul/14 19:06/~lp15/papers/Automation/
86 0.37%21/Jul/14 11:23/~lp15/papers/Arith/MetiTarski-jar.pdf
84 1.03%18/Jul/14 16:24/~lp15/papers/Arith/ITP 2012 presentation.pdf
80 21/Jul/14 15:45/~lp15/MLbook/exercises/
75 0.18%18/Jul/14 16:18/~lp15/papers/Isabelle/sylow.pdf
72 0.01%21/Jul/14 06:04/~lp15/Sue/
71 0.14%19/Jul/14 08:29/~lp15/papers/Arith/lpar2007.pdf
69 0.15%21/Jul/14 08:51/~lp15/papers/Auth/tls.pdf
69 19/Jul/14 10:05/~lp15/papers/Reports/
69 0.01%21/Jul/14 04:02/~lp15/Grants/AutoPolyFun/
68 20/Jul/14 20:36/~lp15/Pages/cv.html
68 21/Jul/14 14:44/~lp15/papers/lecture-courses.html
64 0.01%19/Jul/14 07:04/~lp15/papers/workshop.html
63 0.18% 7/Jul/14 21:31/~lp15/Pages/G%C3%B6del-ar.pdf
62 0.01%21/Jul/14 07:47/~lp15/Grants/SET/
61 20/Jul/14 11:59/~lp15/Grants/
60 0.01%20/Jul/14 17:59/~lp15/archive/
60 0.47%20/Jul/14 18:09/~lp15/papers/Auth/lics-slides.pdf
58 0.15%19/Jul/14 23:39/~lp15/papers/Isabelle/Goedel-ar.pdf
58 21/Jul/14 15:29/~lp15/papers/Workshop/
57 0.01%21/Jul/14 10:51/~lp15/papers/isabelle.html
57 14/Jul/14 12:11/~lp15/papers/Notes/
56 21/Jul/14 11:24/~lp15/papers/Arith/download.html
56 0.07%20/Jul/14 17:28/~lp15/Pages/vita.pdf
55 20/Jul/14 07:08/~lp15/Pages/
54 17/Jul/14 18:33/~lp15/papers/Workshop/papers/
54 0.30%21/Jul/14 04:52/~lp15/Pages/Munich-slides.pdf
54 0.01%21/Jul/14 03:58/~lp15/Grants/UNITY/
53 0.01%18/Jul/14 08:09/~lp15/papers/invited.html
53 21/Jul/14 13:40/~lp15/Grants/Automation/
52 0.07%20/Jul/14 22:04/~lp15/papers/Automation/meng-termination.pdf
52 0.04%20/Jul/14 22:03/~lp15/papers/Reports/mutil.pdf
50 21/Jul/14 11:54/~lp15/papers/Bella/
50 0.05%21/Jul/14 02:07/~lp15/Usage/
50 16/Jul/14 22:25/~lp15/papers/Isabelle/
50 0.04%21/Jul/14 10:10/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
50 21/Jul/14 00:58/~lp15/papers/books.html
49 21/Jul/14 06:13/~lp15/papers/Kammueller/
48 0.16%20/Jul/14 16:26/~lp15/papers/Sets/constructible-slides.pdf
48 0.22%21/Jul/14 13:39/~lp15/papers/Bella/purchase-JAR.pdf
48 0.02%20/Jul/14 00:04/~lp15/Usage/images/
48 0.06%20/Jul/14 03:24/~lp15/papers/Arith/Narayanan DATE.pdf
47 16/Jul/14 12:00/~lp15/papers/Reviews/
47 19/Jul/14 18:28/~lp15/tmp/
46 19/Jul/14 21:31/~lp15/MLbook/review.html
46 14/Jul/14 19:58/~lp15/SpryAssets/
45 0.05%18/Jul/14 19:32/~lp15/papers/Auth/SET-overview-2002.pdf
45 13/Jul/14 11:36/~lp15/images/
45 0.05%21/Jul/14 11:24/~lp15/papers/Arith/pdpar2006.pdf
45 20/Jul/14 10:17/~lp15/MLbook/pub-details.html
45 18/Jul/14 16:01/~lp15/Grants/LEO-II/
45 18/Jul/14 10:11/~lp15/css/
45 1.28%20/Jul/14 03:40/~lp15/Sue/Thesis-Appendices.pdf
44 21/Jul/14 01:48/~lp15/Pages/CL-English.html
44 20/Jul/14 12:59/~lp15/papers/UNITY/
44 0.05%19/Jul/14 22:20/~lp15/papers/Isabelle/Goedel-logic.pdf
44 17/Jul/14 22:22/~lp15/papers/Ballarin/
44 15/Jul/14 01:06/~lp15/Templates/
43 0.06%20/Jul/14 09:31/~lp15/papers/Sets/constructible-abstract.pdf
43 20/Jul/14 20:54/~lp15/MLbook/general.html
43 21/Jul/14 15:11/~lp15/MLbook/programs/sample2.sml
43 0.19%21/Jul/14 09:43/~lp15/papers/Arith/calculemus2008.pdf
43 0.07%21/Jul/14 08:58/~lp15/papers/Automation/paar.pdf
42 18/Jul/14 18:20/~lp15/Data/
42 0.04%18/Jul/14 02:44/~lp15/papers/Auth/yahalom.pdf
41 0.08%20/Jul/14 14:48/~lp15/papers/Auth/multicast_verification.pdf
41 0.10%20/Jul/14 08:57/~lp15/papers/Kammueller/sylow.pdf
41 0.22%20/Jul/14 19:09/~lp15/papers/Automation/info-and-comp.pdf
40 0.07%19/Jul/14 02:51/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
40 21/Jul/14 12:27/~lp15/MLbook/ERRATA.html
40 21/Jul/14 14:26/~lp15/papers/hol.html
39 0.07%19/Jul/14 22:45/~lp15/papers/Reports/blast.pdf
39 0.09%21/Jul/14 09:27/~lp15/papers/Automation/translations.pdf
39 21/Jul/14 09:51/~lp15/papers/Arith/qepcad-for-mac.html
38 0.07%20/Jul/14 21:45/~lp15/papers/Bella/esorics98.pdf
38 0.07%18/Jul/14 02:35/~lp15/papers/Bella/nonrepudiation.pdf
37 0.01%20/Jul/14 13:21/~lp15/images/pilkington.jpg
37 0.08%21/Jul/14 06:49/~lp15/papers/Isabelle/coding.pdf
37 0.01%21/Jul/14 13:19/~lp15/MLbook/exercises/exer2.html
37 0.09%21/Jul/14 06:49/~lp15/papers/Sets/reflection.pdf
36 0.01%21/Jul/14 15:45/~lp15/MLbook/exercises/exer3.html
36 0.06%20/Jul/14 17:03/~lp15/papers/UNITY/tphols01.pdf
36 0.07%20/Jul/14 01:47/~lp15/papers/Arith/Hscc09.pdf
35 0.10%20/Jul/14 19:11/~lp15/papers/Automation/filtering.pdf
35 0.16%21/Jul/14 05:25/~lp15/papers/Automation/reconstruction.pdf
35 0.01%20/Jul/14 19:26/~lp15/Sue/Sue Paulson.jpg
35 0.06%20/Jul/14 18:00/~lp15/papers/Bella/purchase.pdf
34 0.09%21/Jul/14 13:38/~lp15/papers/Arith/case-splitting-stats.csv
34 0.06%19/Jul/14 22:44/~lp15/papers/Automation/cade2011-sledge-smt.pdf
33 20/Jul/14 20:31/~lp15/Grants/arith.html
33 0.13%20/Jul/14 22:36/~lp15/papers/Automation/filtering-jal.pdf
33 0.05%18/Jul/14 16:32/~lp15/papers/Bella/dimacs97.pdf
33 0.06%19/Jul/14 05:25/~lp15/papers/Workshop/papers/voelker.pdf
33 0.01%21/Jul/14 15:12/~lp15/MLbook/programs/sample3.sml
32 0.12%20/Jul/14 19:15/~lp15/papers/Automation/translations-jar.pdf
32 0.05%19/Jul/14 16:22/~lp15/papers/Bella/cav98.pdf
31 0.06%20/Jul/14 19:06/~lp15/papers/Automation/IJCAR2004.pdf
31 20/Jul/14 10:17/~lp15/papers/recur.html
29 0.03%17/Jul/14 19:16/~lp15/papers/Arith/Overcoming.pdf
29 0.15%20/Jul/14 13:02/~lp15/papers/Reports/intro-to-isabelle.pdf
29 0.05%18/Jul/14 16:26/~lp15/papers/Arith/fmcad2009.pdf
29 18/Jul/14 23:37/~lp15/MLbook/programs/sample5.sml
28 18/Jul/14 16:49/~lp15/Data/ho-translations/
28 0.03%21/Jul/14 04:42/~lp15/papers/Notes/leeds-notes.pdf
28 0.05%19/Jul/14 22:44/~lp15/papers/Notes/strategy.pdf
28 0.06%19/Jul/14 10:42/~lp15/papers/Automation/jar-smt.pdf
28 20/Jul/14 08:46/~lp15/Data/relevance/
27 20/Jul/14 07:05/~lp15/MLbook/programs/sample4.sml
27 0.06%21/Jul/14 12:24/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
27 0.04%21/Jul/14 14:33/~lp15/papers/Arith/ITP-2012-invited.pdf
26 0.06%21/Jul/14 14:36/~lp15/papers/Sets/milner-ind-defs.pdf
26 0.04%18/Jul/14 23:19/~lp15/papers/Automation/leo2-ijcar.pdf
26 0.01%15/Jul/14 14:03/~lp15/MLbook/programs/sample10.sml
26 0.10%18/Jul/14 16:19/~lp15/papers/Sets/set-II.pdf
26 0.08%21/Jul/14 06:12/~lp15/papers/Sets/reflection-slides.pdf
26 21/Jul/14 11:22/~lp15/papers/Arith/atan-problem-1-weak.html
25 19/Jul/14 16:47/~lp15/MLbook/programs/sample8.sml
25 0.30%18/Jul/14 16:21/~lp15/papers/Arith/metit-slides.pdf
25 0.09%18/Jul/14 09:42/~lp15/papers/Bella/accountability.pdf
25 0.05%19/Jul/14 22:59/~lp15/papers/Bella/esorics2000.pdf
25 0.07%20/Jul/14 21:19/~lp15/papers/Bella/certified-email.pdf
25  8/Jul/14 15:37/~lp15/Grants/leo2.html
25 0.04%18/Jul/14 16:17/~lp15/papers/Sets/final.pdf
25 0.17%19/Jul/14 19:19/~lp15/papers/Bella/TPHOLs03-slides.pdf
24 18/Jul/14 21:46/~lp15/MLbook/programs/sample7.sml
24 0.01%21/Jul/14 11:57/~lp15/MLbook/exercises/exer4.html
24 18/Jul/14 23:38/~lp15/MLbook/programs/ROOT.sml
24 20/Jul/14 10:16/~lp15/MLbook/first/
24 0.05%20/Jul/14 21:19/~lp15/papers/Reports/TPHOLs05.pdf
24 0.01% 8/Jul/14 15:51/~lp15/Pages/Top100Theorems.html
24 0.10%19/Jul/14 20:19/~lp15/papers/Bella/smartcards-jcs.pdf
24 19/Jul/14 13:28/~lp15/MLbook/programs/sample3-old.sml
23 0.05%20/Jul/14 05:20/~lp15/papers/Arith/case-splitting.pdf
23 0.07%18/Jul/14 16:31/~lp15/papers/Auth/SET-overview-IJIS.pdf
23 21/Jul/14 05:22/~lp15/Grants/holisa.html
23 0.06%18/Jul/14 15:33/~lp15/papers/UNITY/Mechanizing-compositional.pdf
23 0.06%21/Jul/14 11:32/~lp15/papers/Sets/AC.pdf
22 0.02%21/Jul/14 09:13/~lp15/papers/Reports/CADE9.pdf
22 14/Jul/14 05:47/~lp15/Grants/Chaieb.html
21 20/Jul/14 18:50/~lp15/papers/Deduction/
21 0.02%18/Jul/14 16:29/~lp15/papers/Auth/auth-slides.pdf
21 20/Jul/14 08:22/~lp15/MLbook/programs/sample8-2004.sml
21 0.07%18/Jul/14 16:36/~lp15/papers/Notes/MOD-slides.pdf
21 0.25%21/Jul/14 08:42/~lp15/papers/Automation/reconstruction-slides.pdf
21 0.11%19/Jul/14 00:51/~lp15/papers/Reports/logics97.pdf
21 20/Jul/14 21:36/~lp15/MLbook/exercises/exer8.html
20 14/Jul/14 05:49/~lp15/MLbook/programs/notes.html
20 0.02%17/Jul/14 20:24/~lp15/papers/Arith/FroCoS-2013-invited.pdf
20 0.12%19/Jul/14 13:15/~lp15/papers/Reports/Bridge-ml.pdf
20 20/Jul/14 20:01/~lp15/MLbook/exercises/exer5.html
20 0.01%16/Jul/14 08:09/~lp15/MLbook/programs/sample10-old.sml
20 0.02%15/Jul/14 19:39/~lp15/Sue/Cultures of Dance.ppt
20 20/Jul/14 13:12/~lp15/Pages/ACS-proposals.html
20 0.04%21/Jul/14 15:13/~lp15/papers/Kammueller/Locales-TPHOLs99.pdf
20 0.02%18/Jul/14 16:32/~lp15/papers/Auth/lics.pdf
20 0.07%20/Jul/14 02:18/~lp15/papers/Sets/set-I.pdf
19 20/Jul/14 11:32/~lp15/MLbook/disclaimer.html
19 15/Jul/14 18:05/~lp15/MLbook/programs/sample9.sml
19 0.01%20/Jul/14 20:30/~lp15/MLbook/exercises/exer6.html
19 0.06%19/Jul/14 00:28/~lp15/papers/Reports/equivclasses.pdf
19 0.17%19/Jul/14 14:59/~lp15/papers/Sets/constructible-theory.pdf
19 19/Jul/14 01:34/~lp15/Grants/temporal.html
19 0.79%14/Jul/14 05:48/~lp15/papers/Notes/LCF+.pdf
19 0.04%18/Jul/14 16:32/~lp15/papers/Bella/registration.pdf
18 18/Jul/14 05:38/~lp15/MLbook/programs/test10.sml
18 0.20%18/Jul/14 16:12/~lp15/papers/Reports/TypeClasses-slides.pdf
18 18/Jul/14 14:31/~lp15/papers/Workshop/thompson.html
18 0.16%18/Jul/14 16:28/~lp15/papers/Auth/dagstuhl2003-slides.pdf
17 0.01%21/Jul/14 07:55/~lp15/papers/Notes/strategy-slides.pdf
17 20/Jul/14 15:14/~lp15/Grants/auth.html
17 21/Jul/14 05:06/~lp15/MLbook/first/programs/Lists-Trees.ML
17 16/Jul/14 12:43/~lp15/MLbook/first/programs/
17 0.02%18/Jul/14 22:08/~lp15/Grants/Automation/final.pdf
17 0.70%18/Jul/14 16:15/~lp15/papers/Isabelle/Goedel-slides.pdf
17 0.03%15/Jul/14 07:16/~lp15/papers/Workshop/papers/matthews.pdf
17 0.01%16/Jul/14 19:39/~lp15/papers/Arith/NFM2014-invited.pdf
17 20/Jul/14 21:36/~lp15/MLbook/exercises/exer7.html
17 0.02%18/Jul/14 16:29/~lp15/papers/Auth/security-protocols.pdf
17 0.02%18/Jul/14 16:28/~lp15/papers/Auth/recur-slides.pdf
17 20/Jul/14 14:45/~lp15/MLbook/exercises/disclaimer.html
16 0.03%21/Jul/14 12:30/~lp15/papers/UNITY/ehmety-composition.pdf
16 0.19%18/Jul/14 16:12/~lp15/papers/Reports/TypeClasses.pdf
16 0.01%14/Jul/14 19:45/~lp15/papers/Reviews/MLer.pdf
16 20/Jul/14 15:07/~lp15/papers/Sets/ind-defs-slides.pdf
16 0.01%18/Jul/14 12:03/~lp15/papers/Reviews/construct.pdf
16 0.02%20/Jul/14 03:58/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
16 0.05% 9/Jul/14 00:17/~lp15/papers/Workshop/papers/vigano.pdf
16 16/Jul/14 23:13/~lp15/papers/Workshop/participants.html
16 0.06%17/Jul/14 19:54/~lp15/papers/Workshop/papers/kammueller.pdf
15 16/Jul/14 22:27/~lp15/MLbook/programs/sample8-old.sml
15 0.01%21/Jul/14 03:27/~lp15/papers/paulson.bib
15 14/Jul/14 13:51/~lp15/papers/Workshop/matthews.html
15 0.18%18/Jul/14 16:10/~lp15/Grants/Automation/poster.pdf
15 0.06%16/Jul/14 17:15/~lp15/papers/UNITY/composition.pdf
15 0.03%13/Jul/14 09:59/~lp15/papers/Workshop/papers/thompson.pdf
15 0.18%18/Jul/14 16:34/~lp15/papers/Isabelle/Cube-presentation.pdf
15 0.17%14/Jul/14 05:48/~lp15/papers/Notes/formalizing-abst-slides.pdf
15 0.02%21/Jul/14 06:07/~lp15/papers/Workshop/papers/owens.pdf
15 18/Jul/14 16:25/~lp15/papers/Arith/RELEASE-NOTES.txt
15 15/Jul/14 22:41/~lp15/MLbook/programs/sample9-2004.sml
15 0.02%18/Jul/14 16:32/~lp15/papers/Auth/ijcar2001.pdf
15 0.03%19/Jul/14 20:09/~lp15/papers/Automation/thf-sledge.pdf
15 0.01%19/Jul/14 15:30/~lp15/papers/Sets/AC-slides.pdf
15 0.12%16/Jul/14 21:10/~lp15/papers/Arith/Sogokon-nfm14.pdf
14 0.01%20/Jul/14 04:45/~lp15/Grants/LEO-II/leo2-case.pdf
14 0.39%17/Jul/14 17:37/~lp15/Sue/Phd-Poster.pdf
14 0.04%19/Jul/14 02:45/~lp15/papers/Workshop/papers/nipkow.pdf
14 9.51%14/Jul/14 05:08/~lp15/archive/Isabelle2013-1.tar.gz
14 0.06%20/Jul/14 19:28/~lp15/papers/Workshop/papers/bednarczyk.pdf
14 0.02%21/Jul/14 11:23/~lp15/papers/Reports/CADE11.pdf
14 18/Jul/14 09:06/~lp15/papers/Workshop/agerholm.html
14 14/Jul/14 05:50/~lp15/Sue/Cultures of Dance.html
14 0.06%18/Jul/14 16:22/~lp15/papers/Arith/cicm2012.pdf
13 14/Jul/14 20:15/~lp15/papers/Workshop/nipkow.html
13 0.01%15/Jul/14 01:20/~lp15/papers/Workshop/front.pdf
13 21/Jul/14 03:07/~lp15/MLbook/first/ERRATA3.txt
13 17/Jul/14 17:12/~lp15/papers/Workshop/kalvala.html
13 0.19%18/Jul/14 16:29/~lp15/papers/Auth/dagstuhl2001-slides.pdf
13 0.02%19/Jul/14 15:09/~lp15/papers/Workshop/vigano.pdf
13 0.56%18/Jul/14 05:15/~lp15/papers/Arith/Overcoming-slides.pdf
13 0.06%20/Jul/14 18:18/~lp15/papers/UNITY/UNITY.pdf
13 17/Jul/14 23:06/~lp15/MLbook/StandardML.plist
12 0.15%17/Jul/14 07:45/~lp15/papers/Reports/popl82.pdf
12 10/Jul/14 17:05/~lp15/MLbook/first/ML-syntax.ps.gz
12 0.01%19/Jul/14 05:51/~lp15/Grants/SET/case.pdf
12 0.06%18/Jul/14 16:30/~lp15/papers/Auth/tls-slides.pdf
12 0.03%18/Jul/14 16:13/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
12 0.03%15/Jul/14 09:21/~lp15/archive/isabelle-users.99.gz
12 0.69%18/Jul/14 02:36/~lp15/Data/ho-translations/Abst.tbz
12 0.01%20/Jul/14 14:10/~lp15/Grants/Automation/case.pdf
12 0.02%18/Jul/14 16:08/~lp15/Grants/AutoPolyFun/case.pdf
12 17/Jul/14 09:13/~lp15/MLbook/first/programs/Imperative.ML
11  8/Jul/14 14:31/~lp15/Grants/automation.html
11 13/Jul/14 11:21/~lp15/papers/Workshop/staples.html
11 1.05%21/Jul/14 09:51/~lp15/papers/Arith/qepcad-B.1.65.MacOSX.zip
11 0.05%18/Jul/14 16:29/~lp15/papers/Auth/SET-document.pdf
11 0.03%14/Jul/14 18:30/~lp15/archive/isabelle-users.98.gz
11  9/Jul/14 17:17/~lp15/papers/Workshop/paulson.html
11 0.02%20/Jul/14 15:54/~lp15/papers/Workshop/papers/kalvala-linear.pdf
11 0.02%17/Jul/14 19:55/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
11 13/Jul/14 15:31/~lp15/Grants/UNITY/case.pdf
11 0.08%18/Jul/14 16:28/~lp15/papers/Auth/SET-overview-slides.pdf
11 0.05%19/Jul/14 20:58/~lp15/papers/Workshop/papers/rasmussen.pdf
11 0.09%21/Jul/14 02:39/~lp15/Grants/arith-case.pdf
11 18/Jul/14 20:03/~lp15/MLbook/first/ERRATA1.txt
11 0.10%17/Jul/14 20:58/~lp15/papers/Arith/NFM2014-slides.pdf
11 16/Jul/14 19:27/~lp15/MLbook/ERRATA.txt
10 0.01%16/Jul/14 02:33/~lp15/papers/Workshop/papers/staples.pdf
10 20/Jul/14 20:37/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
10 6.97%14/Jul/14 05:52/~lp15/archive/Isabelle2013-2.tar.gz
10 0.01%14/Jul/14 10:23/~lp15/papers/Workshop/kammueller.pdf
10 3.02%14/Jul/14 07:31/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
10 0.04%21/Jul/14 04:34/~lp15/Data/relevance/tptp-2007-03-13.tbz
10 0.06%18/Jul/14 11:00/~lp15/papers/Deduction/lecture4.pdf
10 0.24%18/Jul/14 16:45/~lp15/Grants/arith-poster.pdf
10 0.17%19/Jul/14 01:59/~lp15/papers/Auth/ijcar2001-slides.pdf
9  9/Jul/14 21:27/~lp15/papers/Workshop/heule.html
9 0.29%19/Jul/14 20:10/~lp15/Grants/LEO-II/leo project poster.pdf
9 19/Jul/14 01:36/~lp15/Grants/auth-final.pdf
9 14/Jul/14 06:08/~lp15/archive/ERRATA.txt
9 0.02%21/Jul/14 13:53/~lp15/Pages/harrison-real.pdf
9 2.66%18/Jul/14 23:07/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
9 20/Jul/14 02:48/~lp15/papers/Reports/blast-slides.pdf
9 0.02%16/Jul/14 16:09/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
9 0.01% 8/Jul/14 15:37/~lp15/Grants/leo2-case.pdf
8 20/Jul/14 11:01/~lp15/Sue/Cultures of Dance.pdf
8 14/Jul/14 20:33/~lp15/MLbook/programs/sample2.sml.gz
8 0.49%14/Jul/14 20:10/~lp15/Data/ho-translations/Comb.tbz
8 0.01%20/Jul/14 07:50/~lp15/papers/Workshop/papers/ayari.pdf
8 0.05%14/Jul/14 05:48/~lp15/papers/Automation/Huet colloquium.pdf
8 21/Jul/14 11:56/~lp15/MLbook/first/programs/Modules.ML
8 0.03%17/Jul/14 19:08/~lp15/papers/Arith/Narayanan TR.pdf
8 0.01%18/Jul/14 19:25/~lp15/papers/Workshop/friedrich.pdf
8 18/Jul/14 00:56/~lp15/MLbook/programs/sample5.sml.gz
8 5.25%14/Jul/14 05:13/~lp15/archive/Isabelle2012.tar.gz
8 19/Jul/14 01:17/~lp15/Data/relevance/unfiltered-vampire.txt
8 20/Jul/14 20:26/~lp15/Grants/temporal-final.pdf
8 0.02%16/Jul/14 00:46/~lp15/papers/Ballarin/coding.pdf
8 13/Jul/14 11:27/~lp15/papers/Workshop/programme.html
7  8/Jul/14 15:53/~lp15/MLbook/first/programs/ParsePrint.ML
7 5.07%14/Jul/14 05:10/~lp15/archive/Isabelle2013.tar.gz
7 0.02%14/Jul/14 05:23/~lp15/archive/Isabelle90.tar.gz
7  8/Jul/14 15:53/~lp15/papers/Workshop/bednarczyk.txt
7 0.01%13/Jul/14 15:28/~lp15/papers/Workshop/papers/benini.pdf
7 14/Jul/14 16:04/~lp15/MLbook/programs/sample3.sml.gz
7 0.02%14/Jul/14 05:22/~lp15/archive/Isabelle91.tar.gz
7 15/Jul/14 04:51/~lp15/Grants/SET/final.pdf
7 15/Jul/14 07:32/~lp15/MLbook/programs/sample8.sml.gz
7 0.04%15/Jul/14 13:08/~lp15/papers/Deduction/lecture2.pdf
7 0.38%16/Jul/14 13:42/~lp15/archive/Isabelle99-2.tar.gz
7 1.32%14/Jul/14 11:59/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
7 14/Jul/14 07:31/~lp15/Data/ho-translations/Theories.tbz
7 10/Jul/14 05:19/~lp15/MLbook/first/programs/Functions.ML
7  8/Jul/14 17:00/~lp15/MLbook/first/programs/Hal.ML
7 11/Jul/14 12:14/~lp15/papers/Workshop/futures.html
7 0.02%16/Jul/14 20:09/~lp15/papers/Workshop/papers/agerholm.pdf
7 17/Jul/14 22:22/~lp15/papers/Workshop/wolff.html
6 0.08%14/Jul/14 05:22/~lp15/archive/Isabelle94-6.tar.gz
6 0.01%14/Jul/14 05:52/~lp15/archive/isabelle-users.95.gz
6 0.26%14/Jul/14 05:22/~lp15/archive/Isabelle99.tar.gz
6 0.01%12/Jul/14 03:23/~lp15/Grants/Chaieb-case.pdf
6 14/Jul/14 05:52/~lp15/archive/isabelle-users.90-92.gz
6 0.49%14/Jul/14 05:22/~lp15/archive/Isabelle2005.tar.gz
6 0.01%14/Jul/14 05:23/~lp15/archive/Isabelle86.tar.gz
6 0.09%14/Jul/14 05:22/~lp15/archive/Isabelle94-7.tar.gz
6 0.01%14/Jul/14 05:52/~lp15/archive/isabelle-users.97.gz
6 0.14%14/Jul/14 05:22/~lp15/archive/Isabelle94-8.tar.gz
6 0.02%14/Jul/14 05:52/~lp15/archive/isabelle-users.01.gz
6 14/Jul/14 22:11/~lp15/MLbook/programs/sample4.sml.gz
6 15/Jul/14 22:34/~lp15/MLbook/programs/ROOT.sml.gz
6 0.01%14/Jul/14 05:55/~lp15/archive/compgen.tar.gz
6 0.02%14/Jul/14 05:52/~lp15/archive/isabelle-users.02.gz
6 0.05%21/Jul/14 03:41/~lp15/papers/Deduction/lecture3.pdf
6 0.60%14/Jul/14 05:21/~lp15/archive/Isabelle2007.tar.gz
6 0.03%14/Jul/14 05:52/~lp15/archive/isabelle-users.03.gz
6 13/Jul/14 01:39/~lp15/Data/relevance/unfiltered-spass.txt
6 0.01%14/Jul/14 05:05/~lp15/papers/Ballarin/aisc98.pdf
6 0.07%14/Jul/14 05:22/~lp15/archive/Isabelle93.tar.gz
6 1.67%14/Jul/14 05:20/~lp15/archive/Isabelle2009-1.tar.gz
6 15/Jul/14 07:30/~lp15/MLbook/programs/sample3-old.sml.gz
6 0.60%14/Jul/14 05:21/~lp15/archive/Isabelle2008.tar.gz
6 3.36%14/Jul/14 05:15/~lp15/archive/Isabelle2011-1.tar.gz
6 0.02%14/Jul/14 05:52/~lp15/archive/isabelle-users.05.gz
6 0.01%14/Jul/14 05:52/~lp15/archive/isabelle-users.94.gz
221 6.02%20/Jul/14 09:07[not listed: 50 files]