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

Program started at Thu-09-Oct-2014 11:52.
Analysed requests from Mon-08-Sep-2014 04:22 to Thu-09-Oct-2014 11:40 (31.30 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 09-Oct-2014 11:52.

Successful requests: 21,128 (4,617)
Average successful requests per day: 674 (659)
Successful requests for pages: 5,011 (1,232)
Average successful requests for pages per day: 160 (175)
Failed requests: 556 (125)
Redirected requests: 150 (24)
Distinct files requested: 497 (395)
Distinct hosts served: 3,682 (992)
Unwanted logfile entries: 11,973
Data transferred: 7.69 gigabytes (1.93 gigabytes)
Average data transferred per day: 251.56 megabytes (282.32 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 
Sun2248726++++++++++++++++++++++++++++++
Mon2942713+++++++++++++++++++++++++++++
Tue4505970+++++++++++++++++++++++++++++++++++++++
Wed3361724+++++++++++++++++++++++++++++
Thu3345743++++++++++++++++++++++++++++++
Fri2533607+++++++++++++++++++++++++
Sat2194528++++++++++++++++++++++

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
754634.18%[unresolved numerical addresses]
403522.80%.com (Commercial)
109113.73%.uk (United Kingdom)
677 7.27%.edu (USA Higher Education)
2700 7.10%.net (Networks)
265 2.80%.jp (Japan)
499 1.72%.in (India)
421 1.40%[domain not given]
413 1.39%.fr (France)
572 1.09%.de (Germany)
340 1.08%.nl (Netherlands)
10 0.64%.hu (Hungary)
73 0.32%[unknown domain]
132 0.31%.au (Australia)
84 0.30%.pk (Pakistan)
94 0.25%.ch (Switzerland)
63 0.21%.ke (Kenya)
100 0.19%.nz (New Zealand)
37 0.18%.id (Indonesia)
85 0.16%.za (South Africa)
68 0.16%.it (Italy)
51 0.15%.ie (Ireland)
94 0.15%.int (International Treaty Organisations)
231 0.15%.zw (Zimbabwe)
191 0.15%.ru (Russia)
33 0.14%.lk (Sri Lanka)
57 0.13%.br (Brazil)
17 0.13%.ua (Ukraine)
75 0.12%.gr (Greece)
78 0.11%.ca (Canada)
69 0.10%.cn (China)
214 0.09%.tr (Turkey)
12 0.09%.my (Malaysia)
14 0.09%.gh (Ghana)
25 0.07%.mx (Mexico)
6 0.07%.lv (Latvia)
23 0.06%.cm (Cameroon)
43 0.06%.fi (Finland)
25 0.05%.pt (Portugal)
39 0.05%.no (Norway)
53 0.05%.se (Sweden)
8 0.05%.np (Nepal)
25 0.04%.vn (Vietnam)
19 0.04%.org (Non Profit Making Organisations)
9 0.04%.arpa (Arpanet)
8 0.03%.na (Namibia)
28 0.03%.at (Austria)
37 0.03%.dk (Denmark)
2 0.03%.by (Belarus)
4 0.03%.ug (Uganda)
44 0.03%.th (Thailand)
32 0.03%.es (Spain)
11 0.02%.sg (Singapore)
60 0.02%.cz (Czech Republic)
21 0.02%.tw (Taiwan)
6 0.02%.bd (Bangladesh)
4 0.02%.jo (Jordan)
3 0.02%.ge (Georgia)
3 0.02%.ye (Yemen)
2 0.02%.lb (Lebanon)
5 0.02%.gov (USA Government)
11 0.02%.ro (Romania)
30 0.01%.pl (Poland)
2 0.01%.rw (Rwanda)
1 0.01%.om (Oman)
1 0.01%.ae (United Arab Emirates)
10 0.01%.mn (Mongolia)
7 0.01%.ir (Iran)
5 0.01%.be (Belgium)
7 0.01%.lu (Luxembourg)
3 0.01%.ni (Nicaragua)
7 .co (Colombia)
4 .bw (Botswana)
3 .ph (Philippines)
10 .cy (Cyprus)
1 .is (Iceland)
3 .us (United States)
1 .mil (USA Military)
17 .ar (Argentina)
7 .il (Israel)
1 .io (British Indian Ocean Territory)
2 .tt (Trinidad and Tobago)
6 .md (Moldova)
1 .uy (Uruguay)
1 .kz (Kazakhstan)
1 .py (Paraguay)

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
97013.55%cam.ac.uk
820 2.06%41
806 3.00%msn.com
546 5.62%amazonaws.com
525 0.74%as15003.net
469 1.69%117
421 1.40%[domain not given]
351 1.81%verizon.net
323 6.70%psu.edu
285 0.73%your-server.de
283 0.23%baidu.com
277 9.77%twttr.com
272 0.92%ziggozakelijk.nl
268 0.68%103
246 0.31%btcentralplus.com
234 1.06%yandex.com
233 0.71%wanadoo.fr
223 0.50%115
212 0.03%zol.co.zw
209 0.65%213.55
1315547.85%[not listed: 1,123 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
518software
443pdf
425engineering
187on
133notes
80in
56enginering.pdf
47download
38of
33book
33for
28file
24equivalence
24the
21http://www.cl.cam.ac.uk/~lp15/papers/notes/se
21lecture
21classes
21i.pdf
19computer
19what
18is
17a
17engineer
15free
15and
14set
14function
14hindi
11doubling
11cube
541[not listed: 251 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
147401955OS unknown
2113691610Windows
 96871135  Unknown Windows
 1566433  Windows XP
 5322  Windows 98
 2420  Windows 2000
 310  Windows NT
 80  Windows Server 2003
31961644Macintosh
42289397Unix
 2271391  Linux
 155  Other Unix
 31  BSD
5648396Known robots
6150Symbian 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
11626200 OK
8862206 Partial content
150301 Document moved permanently
640304 Not modified since last retrieval
47403 Access forbidden
509404 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
0799 
1B- 10B14 
11B- 100B0 
101B- 1kB312 
1kB- 10kB3424 0.18%
10kB-100kB10057 5.15%
100kB- 1MB556831.66%
1MB- 10MB89238.56%
10MB-100MB6224.44%

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
1419268.19%.pdf [Adobe Portable Document Format]
24322.93%.gz [Gzip compressed files]
15422.80%  .tar.gz [Compressed archives]
70 7.32%.tbz
6 0.52%.zip [Zip archives]
813 0.33%.jpg [JPEG graphics]
3254 0.29%[directories]
1757 0.19%.html [Hypertext Markup Language]
793 0.23%[not listed: 10 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
551421.50% 9/Oct/14 11:27/~lp15/papers/Notes/SE-I.pdf
2494 3.40% 9/Oct/14 11:18/~lp15/papers/Reports/equivclasses-slides.pdf
941 0.11% 9/Oct/14 11:39/~lp15/
79724.91% 9/Oct/14 11:39/~lp15/papers/Isabelle/Goedel-slides.pdf
449 0.01% 9/Oct/14 10:32/~lp15/MLbook/
374 0.07% 9/Oct/14 11:39/~lp15/images/larry-paulson.jpg
353 0.08% 9/Oct/14 11:31/~lp15/papers/refereed.html
346 0.22% 9/Oct/14 05:10/~lp15/images/acm-logo.jpg
255 0.34% 9/Oct/14 05:39/~lp15/papers/Reports/fleuriot-kepler.pdf
198 2.54% 8/Oct/14 23:06/~lp15/papers/Reports/thesis.pdf
196 0.29% 9/Oct/14 08:27/~lp15/papers/Notes/Founds-FP.pdf
192 0.02% 9/Oct/14 08:39/~lp15/papers/Arith/
187  9/Oct/14 10:56/~lp15/MLbook/programs/
153 0.39% 9/Oct/14 10:47/~lp15/papers/Isabelle/Goedel-ar.pdf
135 0.28% 7/Oct/14 20:35/~lp15/papers/Reports/equivclasses.pdf
127 2.11% 8/Oct/14 18:15/~lp15/Sue/Thesis.pdf
124 0.36% 9/Oct/14 11:39/~lp15/papers/Auth/jcs.pdf
114 0.01% 9/Oct/14 11:39/~lp15/Sue/
114 0.15% 9/Oct/14 05:21/~lp15/papers/Isabelle/aisc98.pdf
112 0.08% 9/Oct/14 06:44/~lp15/papers/Reports/mutil.pdf
104  9/Oct/14 08:02/~lp15/MLbook/exercises/
103 0.01% 8/Oct/14 20:44/~lp15/papers/Sets/
101 0.12% 9/Oct/14 07:27/~lp15/papers/Bella/esorics98.pdf
100 0.18% 9/Oct/14 08:49/~lp15/papers/Auth/tls.pdf
99 0.02% 8/Oct/14 16:53/~lp15/papers/Auth/
93 0.21% 8/Oct/14 12:43/~lp15/papers/Sets/set-I.pdf
88 0.41% 9/Oct/14 07:09/~lp15/papers/Arith/MetiTarski-jar.pdf
86 0.12% 8/Oct/14 20:35/~lp15/papers/Reports/TPHOLs05.pdf
83 0.01% 8/Oct/14 14:06/~lp15/papers/Automation/
81 0.15% 7/Oct/14 16:23/~lp15/papers/Sets/AC.pdf
77  9/Oct/14 10:56/~lp15/MLbook/programs/sample2.sml
76 0.01% 9/Oct/14 01:29/~lp15/MLbook/programs/sample3.sml
71 0.07% 9/Oct/14 10:29/~lp15/Pages/vita.pdf
70  8/Oct/14 18:22/~lp15/MLbook/pub-details.html
70 0.12% 8/Oct/14 03:04/~lp15/papers/Kammueller/sylow.pdf
68  8/Oct/14 21:16/~lp15/papers/lecture-courses.html
67 0.13% 8/Oct/14 20:21/~lp15/papers/Bella/certified-email.pdf
66 0.01% 8/Oct/14 13:58/~lp15/Grants/SET/
63  9/Oct/14 10:14/~lp15/Pages/cv.html
63  9/Oct/14 07:09/~lp15/archive/
62  9/Oct/14 09:08/~lp15/MLbook/general.html
62 0.40% 7/Oct/14 16:23/~lp15/papers/Notes/LCF+.pdf
62 0.08% 9/Oct/14 11:39/~lp15/papers/Bella/purchase.pdf
61 0.06% 9/Oct/14 08:48/~lp15/papers/Arith/Narayanan DATE.pdf
58 0.12% 9/Oct/14 11:40/~lp15/papers/Sets/reflection.pdf
57 0.04% 9/Oct/14 10:35/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
56 0.05% 9/Oct/14 11:34/~lp15/papers/Auth/SET-overview-2002.pdf
56 0.01% 9/Oct/14 08:02/~lp15/MLbook/exercises/exer2.html
56 0.01% 8/Oct/14 19:57/~lp15/Grants/AutoPolyFun/
55 0.01% 8/Oct/14 17:23/~lp15/MLbook/ERRATA.html
55  9/Oct/14 10:20/~lp15/papers/Reports/
53  8/Oct/14 20:41/~lp15/Grants/
52 0.07% 8/Oct/14 20:23/~lp15/papers/Reports/blast.pdf
52 0.05% 7/Oct/14 16:23/~lp15/papers/Automation/meng-termination.pdf
48  8/Oct/14 20:00/~lp15/papers/UNITY/
48  9/Oct/14 01:42/~lp15/MLbook/review.html
48  7/Oct/14 04:22/~lp15/papers/
48 0.13% 8/Oct/14 08:51/~lp15/papers/Sets/set-II.pdf
48  8/Oct/14 11:06/~lp15/papers/Workshop/
48  9/Oct/14 07:53/~lp15/papers/workshop.html
47 0.02% 8/Oct/14 10:14/~lp15/Sue/Sue Paulson.jpg
46 0.02% 8/Oct/14 15:21/~lp15/images/pilkington.jpg
46 0.07% 8/Oct/14 18:37/~lp15/papers/Arith/Hscc09.pdf
43 0.18% 9/Oct/14 03:22/~lp15/papers/Bella/purchase-JAR.pdf
43  8/Oct/14 10:53/~lp15/Pages/ACS-proposals.html
43 0.09% 9/Oct/14 08:42/~lp15/papers/Bella/registration.pdf
42 0.01% 9/Oct/14 09:31/~lp15/MLbook/first/programs/Lists-Trees.ML
42  8/Oct/14 11:35/~lp15/papers/hol.html
42 0.03% 9/Oct/14 10:39/~lp15/papers/Auth/yahalom.pdf
42  7/Oct/14 16:23/~lp15/Grants/Automation/
42 0.11% 7/Oct/14 22:10/~lp15/papers/Bella/smartcards-jcs.pdf
41  7/Oct/14 16:27/~lp15/papers/Arith/download.html
41 7.18% 9/Oct/14 09:55/~lp15/archive/Isabelle2013-2.tar.gz
41 0.05% 8/Oct/14 05:27/~lp15/papers/Automation/paar.pdf
40  8/Oct/14 11:02/~lp15/papers/isabelle.html
40 0.16% 7/Oct/14 16:23/~lp15/papers/Notes/formalizing-abst-slides.pdf
39 0.07% 8/Oct/14 12:40/~lp15/papers/Automation/translations.pdf
39 0.12% 8/Oct/14 08:54/~lp15/papers/Sets/constructible-slides.pdf
39  7/Oct/14 16:23/~lp15/MLbook/programs/sample4.sml
39 0.17% 8/Oct/14 08:26/~lp15/Pages/Munich-slides.pdf
39 0.01% 8/Oct/14 18:59/~lp15/Grants/UNITY/
38  7/Oct/14 16:23/~lp15/papers/invited.html
37 0.05% 8/Oct/14 09:01/~lp15/papers/Sets/constructible-abstract.pdf
36 0.06% 7/Oct/14 16:23/~lp15/papers/Sets/milner-ind-defs.pdf
36 0.07% 7/Oct/14 16:23/~lp15/papers/Automation/filtering.pdf
36 0.06% 7/Oct/14 16:23/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
36 0.05% 8/Oct/14 16:02/~lp15/papers/Workshop/papers/voelker.pdf
35 0.03% 7/Oct/14 16:23/~lp15/papers/Workshop/papers/staples.pdf
35 0.01% 8/Oct/14 22:09/~lp15/MLbook/exercises/exer8.html
34  6/Oct/14 21:56/~lp15/papers/Notes/
34 0.05% 7/Oct/14 16:23/~lp15/papers/Arith/case-splitting.pdf
33 0.01% 9/Oct/14 07:22/~lp15/MLbook/exercises/exer3.html
33  9/Oct/14 00:45/~lp15/Pages/
33 0.08% 7/Oct/14 16:23/~lp15/papers/Arith/case-splitting-stats.csv
33 0.02% 7/Oct/14 16:23/~lp15/papers/Arith/Overcoming.pdf
33  9/Oct/14 05:55/~lp15/papers/books.html
32 0.01% 8/Oct/14 14:30/~lp15/MLbook/programs/sample7.sml
32 0.04% 7/Oct/14 18:39/~lp15/papers/Isabelle/Goedel-logic.pdf
32 0.06% 8/Oct/14 17:27/~lp15/papers/Arith/lpar2007.pdf
32  8/Oct/14 06:16/~lp15/MLbook/first/
32  8/Oct/14 23:28/~lp15/MLbook/programs/sample5.sml
32 0.15% 9/Oct/14 06:02/~lp15/papers/Bella/TPHOLs03-slides.pdf
31  8/Oct/14 19:55/~lp15/Pages/CL-English.html
31 0.05% 8/Oct/14 17:44/~lp15/papers/Bella/nonrepudiation.pdf
31 0.10% 9/Oct/14 09:34/~lp15/papers/Automation/filtering-jal.pdf
31 0.03% 8/Oct/14 13:31/~lp15/papers/Bella/dimacs97.pdf
31  7/Oct/14 16:23/~lp15/papers/Arith/atan-problem-1-weak.html
31  7/Oct/14 16:23/~lp15/papers/recur.html
30 0.01% 9/Oct/14 03:20/~lp15/MLbook/exercises/exer4.html
30 0.11% 8/Oct/14 19:15/~lp15/papers/Sets/constructible-theory.pdf
30 0.06% 7/Oct/14 16:23/~lp15/papers/UNITY/Mechanizing-compositional.pdf
29 0.03% 9/Oct/14 05:13/~lp15/Usage/
29 0.09% 7/Oct/14 16:23/~lp15/papers/Automation/reconstruction.pdf
29 0.14% 7/Oct/14 16:23/~lp15/papers/Arith/metit-slides.pdf
29  8/Oct/14 23:03/~lp15/papers/Arith/qepcad-for-mac.html
29 0.06% 7/Oct/14 16:23/~lp15/papers/Isabelle/coding.pdf
29  9/Oct/14 03:49/~lp15/MLbook/StandardML.plist
29 0.07% 7/Oct/14 16:23/~lp15/papers/Arith/cicm2012.pdf
28  8/Oct/14 19:59/~lp15/papers/Deduction/
28 0.06% 8/Oct/14 18:22/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
28 0.03% 9/Oct/14 08:18/~lp15/papers/Arith/ITP-2012-invited.pdf
27  8/Oct/14 01:28/~lp15/papers/Workshop/nipkow.html
27 0.03% 8/Oct/14 07:41/~lp15/papers/Bella/cav98.pdf
27  8/Oct/14 11:06/~lp15/papers/Workshop/participants.html
27  7/Oct/14 16:23/~lp15/Grants/LEO-II/
27 0.08% 7/Oct/14 16:23/~lp15/papers/Workshop/papers/kammueller.pdf
26  7/Oct/14 16:23/~lp15/Grants/BeyondLinArith/
26  9/Oct/14 01:27/~lp15/MLbook/programs/ROOT.sml
26  7/Oct/14 19:16/~lp15/papers/Workshop/papers/
26  9/Oct/14 07:42/~lp15/Grants/holisa.html
26 0.04% 7/Oct/14 16:23/~lp15/papers/Bella/esorics2000.pdf
25  8/Oct/14 20:43/~lp15/MLbook/programs/notes.html
25 0.19% 7/Oct/14 16:23/~lp15/papers/Reports/TypeClasses.pdf
25 0.01% 7/Oct/14 16:23/~lp15/MLbook/programs/sample10.sml
25  7/Oct/14 16:23/~lp15/MLbook/programs/sample9.sml
25  8/Oct/14 08:43/~lp15/MLbook/exercises/exer5.html
25 0.01% 7/Oct/14 16:23/~lp15/MLbook/exercises/exer6.html
25 0.01% 6/Oct/14 03:18/~lp15/papers/Reviews/construct.pdf
25 0.11% 8/Oct/14 12:18/~lp15/papers/Arith/calculemus2008.pdf
25 0.03% 7/Oct/14 16:23/~lp15/papers/Auth/lics.pdf
25 0.03% 8/Oct/14 18:35/~lp15/papers/Automation/cade2011-sledge-smt.pdf
24 0.08% 8/Oct/14 20:20/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
24  9/Oct/14 10:17/~lp15/Pages/projects.html
24 0.02% 7/Oct/14 16:23/~lp15/papers/Reports/CADE9.pdf
23 0.08% 8/Oct/14 12:23/~lp15/papers/Reports/intro-to-isabelle.pdf
23 0.07% 7/Oct/14 16:23/~lp15/papers/Bella/accountability.pdf
23 0.03% 7/Oct/14 16:23/~lp15/papers/Sets/final.pdf
22 0.07% 9/Oct/14 08:50/~lp15/papers/Automation/translations-jar.pdf
22  7/Oct/14 16:23/~lp15/MLbook/programs/sample8.sml
22 0.04% 7/Oct/14 16:23/~lp15/papers/Auth/multicast_verification.pdf
22 0.03% 9/Oct/14 04:58/~lp15/papers/Workshop/papers/kalvala-linear.pdf
22 0.01% 7/Oct/14 16:23/~lp15/MLbook/exercises/exer7.html
22 0.01% 7/Oct/14 16:23/~lp15/papers/Workshop/kammueller.pdf
22  9/Oct/14 03:35/~lp15/MLbook/exercises/disclaimer.html
22  8/Oct/14 11:06/~lp15/papers/Workshop/programme.html
22 0.10% 7/Oct/14 16:23/~lp15/papers/Arith/Sogokon-nfm14.pdf
21  7/Oct/14 22:36/~lp15/Data/ho-translations/
21 0.01% 7/Oct/14 16:23/~lp15/papers/Notes/strategy-slides.pdf
21  8/Oct/14 21:58/~lp15/papers/Bella/
21 0.03% 7/Oct/14 16:23/~lp15/papers/UNITY/tphols01.pdf
21  9/Oct/14 11:29/~lp15/papers/Workshop/paulson.html
21 0.14% 7/Oct/14 16:23/~lp15/papers/Isabelle/Cube-presentation.pdf
21 0.28% 9/Oct/14 11:07/~lp15/papers/Auth/lics-slides.pdf
21 0.01% 8/Oct/14 23:36/~lp15/Usage/images/
21 0.01% 7/Oct/14 16:23/~lp15/papers/Auth/security-protocols.pdf
20 0.13% 7/Oct/14 16:23/~lp15/Grants/Automation/poster.pdf
20 0.01% 7/Oct/14 16:23/~lp15/papers/Arith/NFM2014-invited.pdf
20  5/Oct/14 20:52/~lp15/papers/Kammueller/
20 0.03% 7/Oct/14 16:23/~lp15/papers/Arith/fmcad2009.pdf
20 0.01% 7/Oct/14 16:23/~lp15/MLbook/first/programs/Hal.ML
19  7/Oct/14 16:23/~lp15/MLbook/disclaimer.html
19  8/Oct/14 20:03/~lp15/images/
19  8/Oct/14 18:40/~lp15/papers/Isabelle/
19 0.02% 7/Oct/14 16:23/~lp15/papers/Workshop/papers/matthews.pdf
19 0.19% 7/Oct/14 16:23/~lp15/papers/Automation/reconstruction-slides.pdf
19 0.02% 8/Oct/14 17:28/~lp15/papers/Arith/pdpar2006.pdf
19 0.04% 8/Oct/14 17:36/~lp15/papers/Kammueller/Locales-TPHOLs99.pdf
19 0.10% 7/Oct/14 16:23/~lp15/papers/Auth/dagstuhl2003-slides.pdf
18  8/Oct/14 18:41/~lp15/MLbook/first/programs/ParsePrint.ML
18 0.02% 7/Oct/14 16:23/~lp15/papers/Arith/FroCoS-2013-invited.pdf
18  8/Oct/14 20:41/~lp15/papers/Workshop/kalvala.html
18  8/Oct/14 07:28/~lp15/papers/Workshop/matthews.html
18 0.05% 7/Oct/14 22:34/~lp15/papers/Auth/SET-overview-IJIS.pdf
18  7/Oct/14 16:23/~lp15/MLbook/programs/sample8-2004.sml
18 0.01% 7/Oct/14 16:23/~lp15/Sue/Cultures of Dance.ppt
18 0.49% 7/Oct/14 16:23/~lp15/papers/Arith/ITP 2012 presentation.pdf
18  7/Oct/14 16:23/~lp15/papers/Workshop/agerholm.html
18  7/Oct/14 16:23/~lp15/Grants/Chaieb.html
18  7/Oct/14 16:23/~lp15/MLbook/programs/sample3-old.sml
18  7/Oct/14 16:23/~lp15/Data/relevance/
18 0.12% 7/Oct/14 16:23/~lp15/papers/Automation/info-and-comp.pdf
17  7/Oct/14 16:23/~lp15/MLbook/programs/test10.sml
17 0.01% 8/Oct/14 20:53/~lp15/MLbook/first/ML-syntax.ps.gz
17  7/Oct/14 16:31/~lp15/MLbook/first/programs/
17  7/Oct/14 16:23/~lp15/MLbook/programs/sample10-old.sml
17  2/Oct/14 07:29/~lp15/papers/Ballarin/
17 0.02% 7/Oct/14 16:23/~lp15/papers/Reports/CADE11.pdf
17  7/Oct/14 16:23/~lp15/MLbook/programs/sample9-2004.sml
17 0.07% 7/Oct/14 16:23/~lp15/papers/Workshop/papers/rasmussen.pdf
17 0.03% 7/Oct/14 18:25/~lp15/papers/Auth/ijcar2001.pdf
16  7/Oct/14 16:23/~lp15/papers/Workshop/staples.html
16 0.02% 7/Oct/14 16:23/~lp15/Grants/Automation/final.pdf
16 0.02% 7/Oct/14 16:23/~lp15/papers/Workshop/papers/thompson.pdf
16 0.02%30/Sep/14 21:43/~lp15/papers/Arith/Narayanan TR.pdf
16  8/Oct/14 22:25/~lp15/MLbook/first/ERRATA1.txt
15 0.03% 7/Oct/14 16:23/~lp15/papers/UNITY/ehmety-composition.pdf
15 0.08% 7/Oct/14 16:23/~lp15/papers/Reports/Bridge-ml.pdf
15 0.03% 7/Oct/14 19:57/~lp15/papers/Notes/strategy.pdf
15 0.03% 7/Oct/14 16:23/~lp15/papers/Automation/IJCAR2004.pdf
15  7/Oct/14 16:23/~lp15/papers/Workshop/thompson.html
15  7/Oct/14 16:23/~lp15/papers/Arith/RELEASE-NOTES.txt
15 0.07% 7/Oct/14 16:23/~lp15/papers/Reports/logics97.pdf
14 0.02% 9/Oct/14 02:32/~lp15/Grants/Chaieb-case.pdf
14  8/Oct/14 18:59/~lp15/Grants/auth.html
14 0.02%23/Sep/14 00:13/~lp15/papers/Workshop/papers/paulson.pdf
14 0.01% 7/Oct/14 16:23/~lp15/Grants/LEO-II/leo2-case.pdf
14 0.02% 8/Oct/14 22:57/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
14  9/Oct/14 02:16/~lp15/Grants/temporal.html
14  7/Oct/14 16:23/~lp15/Sue/Cultures of Dance.html
14  7/Oct/14 16:23/~lp15/MLbook/first/ERRATA2.txt
13  3/Oct/14 04:00/~lp15/papers/Reviews/
13  9/Oct/14 06:02/~lp15/tmp/
13 0.03% 7/Oct/14 16:23/~lp15/papers/Workshop/papers/nipkow.pdf
13 0.05% 7/Oct/14 16:23/~lp15/papers/UNITY/composition.pdf
13 0.03% 7/Oct/14 16:23/~lp15/papers/Notes/MOD-slides.pdf
13 0.04% 8/Oct/14 14:45/~lp15/papers/Workshop/papers/vigano.pdf
13 0.03% 9/Oct/14 06:19/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
12 0.02% 9/Oct/14 03:22/~lp15/papers/Workshop/papers/ayari.pdf
12  7/Oct/14 18:42/~lp15/MLbook/programs/sample8-old.sml
12 0.02% 7/Oct/14 16:23/~lp15/papers/Workshop/papers/benini.pdf
12  7/Oct/14 16:23/~lp15/MLbook/first/programs/Lambda.ML
12 0.03% 9/Oct/14 08:23/~lp15/papers/Arith/Huang-3heuristics.pdf
12 0.02% 8/Oct/14 04:44/~lp15/papers/Workshop/papers/owens.pdf
12 0.05% 7/Oct/14 16:23/~lp15/papers/UNITY/UNITY.pdf
12 0.04% 8/Oct/14 02:25/~lp15/Data/relevance/tptp-2007-03-13.tbz
12 0.01% 9/Oct/14 03:23/~lp15/papers/Workshop/friedrich.pdf
12 0.02% 7/Oct/14 16:23/~lp15/Grants/AutoPolyFun/case.pdf
12 0.72% 7/Oct/14 16:23/~lp15/papers/Arith/FroCos-presentation.pdf
12  7/Oct/14 16:23/~lp15/papers/Workshop/futures.html
12 0.29% 7/Oct/14 16:23/~lp15/Sue/Thesis-Appendices.pdf
11  9/Oct/14 00:45/~lp15/papers/Workshop/heule.html
11 0.01% 7/Oct/14 16:23/~lp15/papers/paulson.bib
11 0.01% 7/Oct/14 16:23/~lp15/papers/Auth/auth-slides.pdf
11  9/Oct/14 02:32/~lp15/Grants/SET/case.pdf
11 0.01% 7/Oct/14 16:23/~lp15/papers/Notes/leeds-notes.pdf
11 0.02% 7/Oct/14 16:23/~lp15/papers/Automation/jar-smt.pdf
11 0.01% 7/Oct/14 16:23/~lp15/papers/Workshop/vigano.pdf
11 0.04% 8/Oct/14 16:59/~lp15/papers/Workshop/papers/bednarczyk.pdf
11  7/Oct/14 16:23/~lp15/MLbook/first/programs/Functions.ML
11 0.04% 7/Oct/14 16:23/~lp15/papers/Sets/reflection-slides.pdf
11 0.03% 7/Oct/14 16:23/~lp15/papers/Isabelle/sylow.pdf
11  8/Oct/14 17:23/~lp15/MLbook/ERRATA.txt
11  7/Oct/14 16:23/~lp15/MLbook/first/programs/Imperative.ML
11 0.01% 7/Oct/14 16:23/~lp15/papers/Workshop/ayari.pdf
11  7/Oct/14 16:23/~lp15/papers/Workshop/wolff.html
10  4/Oct/14 20:55/~lp15/Grants/arith.html
10 0.12% 8/Oct/14 12:17/~lp15/papers/Reports/popl82.pdf
10  7/Oct/14 16:23/~lp15/papers/Workshop/bednarczyk.txt
10  7/Oct/14 16:23/~lp15/papers/Workshop/owens.txt
10  7/Oct/14 16:23/~lp15/papers/Sets/ind-defs-slides.pdf
10 0.53% 7/Oct/14 16:23/~lp15/Data/ho-translations/Abst.tbz
10 0.01% 7/Oct/14 16:23/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
10 1.72% 7/Oct/14 16:23/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
10 0.39% 7/Oct/14 16:23/~lp15/papers/Arith/Overcoming-slides.pdf
10 0.06% 7/Oct/14 16:23/~lp15/papers/Auth/SET-overview-slides.pdf
10 0.02% 7/Oct/14 16:23/~lp15/papers/Arith/SNC2014-invited.pdf
10  1/Oct/14 17:31/~lp15/Data/
10  7/Oct/14 16:23/~lp15/Data/relevance/unfiltered-spass.txt
9 0.01% 7/Oct/14 16:23/~lp15/papers/Workshop/front.pdf
9  7/Oct/14 16:23/~lp15/MLbook/first/ERRATA3.txt
9  1/Oct/14 12:58/~lp15/papers/Reviews/MLer.pdf
9 0.20% 7/Oct/14 16:23/~lp15/Sue/Phd-Poster.pdf
9 0.09% 9/Oct/14 09:09/~lp15/papers/Reports/TypeClasses-slides.pdf
9 0.07% 7/Oct/14 16:23/~lp15/Grants/BeyondLinArith/arith-case.pdf
9 0.01% 7/Oct/14 16:23/~lp15/Grants/Automation/case.pdf
9 2.43% 7/Oct/14 16:23/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
9 0.07% 7/Oct/14 16:23/~lp15/papers/Arith/NFM2014-slides.pdf
9 0.02% 8/Oct/14 08:30/~lp15/papers/Workshop/papers/agerholm.pdf
9 0.02% 8/Oct/14 17:13/~lp15/papers/Ballarin/coding.pdf
8  7/Oct/14 16:23/~lp15/Sue/Cultures of Dance.pdf
8 0.01% 7/Oct/14 16:23/~lp15/papers/Automation/leo2-ijcar.pdf
8  7/Oct/14 16:23/~lp15/MLbook/first/programs/Modules.ML
8 2.21% 7/Oct/14 16:23/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
8  9/Oct/14 07:22/~lp15/papers/Reports/blast-slides.pdf
8 4.80% 7/Oct/14 16:23/~lp15/archive/Isabelle2012.tar.gz
8  7/Oct/14 16:23/~lp15/Data/relevance/unfiltered-E.txt
8 0.12% 7/Oct/14 16:23/~lp15/papers/Auth/ijcar2001-slides.pdf
8  1/Oct/14 09:22/~lp15/css/
7 0.39% 8/Oct/14 18:59/~lp15/Data/ho-translations/Comb.tbz
7 0.02% 7/Oct/14 16:23/~lp15/archive/lcf.tar.gz
7  7/Oct/14 16:23/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
7 0.10% 7/Oct/14 16:23/~lp15/papers/Auth/dagstuhl2001-slides.pdf
7 0.16% 7/Oct/14 16:23/~lp15/Grants/BeyondLinArith/arith-poster.pdf
7 0.01% 7/Oct/14 16:23/~lp15/archive/Isabelle86.tar.gz
7 0.03% 7/Oct/14 16:23/~lp15/papers/Auth/tls-slides.pdf
7 0.01% 7/Oct/14 16:23/~lp15/papers/Isabelle/chap700.pdf
7  7/Oct/14 16:23/~lp15/MLbook/first/programs/edits.txt
7 0.05% 8/Oct/14 07:24/~lp15/papers/Deduction/lecture2.pdf
7 0.05% 7/Oct/14 16:23/~lp15/papers/Deduction/lecture3.pdf
7  7/Oct/14 16:23/~lp15/Data/ho-translations/Theories.tbz
7 0.02% 7/Oct/14 16:23/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
7 0.05% 7/Oct/14 16:23/~lp15/papers/Deduction/lecture4.pdf
7 0.01% 7/Oct/14 16:23/~lp15/papers/Auth/recur-slides.pdf
7  7/Oct/14 16:23/~lp15/Data/relevance/unfiltered-vampire.txt
7  7/Oct/14 16:23/~lp15/Grants/temporal-final.pdf
7 0.01% 7/Oct/14 16:23/~lp15/papers/Automation/thf-sledge.pdf
7  7/Oct/14 16:23/~lp15/papers/Sets/AC-slides.pdf
26111.87% 8/Oct/14 23:03[not listed: 71 files]