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

Program started at Mon-08-Feb-2016 15:00.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-08-Feb-2016 14:49 (459.99 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 08-Feb-2016 15:00.

Successful requests: 24,929 (5,364)
Average successful requests per day: 54 (766)
Successful requests for pages: 7,895 (1,469)
Average successful requests for pages per day: 17 (209)
Failed requests: 987 (154)
Redirected requests: 115 (20)
Distinct files requested: 536 (511)
Distinct hosts served: 4,474 (1,217)
Unwanted logfile entries: 19,287
Data transferred: 7.56 gigabytes (2.25 gigabytes)
Average data transferred per day: 16.83 megabytes (329.17 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 
Sun3130923++++++++++++++++++++++++
Mon3756889+++++++++++++++++++++++
Tue2860775++++++++++++++++++++
Wed35051224+++++++++++++++++++++++++++++++
Thu33341223+++++++++++++++++++++++++++++++
Fri49321728++++++++++++++++++++++++++++++++++++++++++++
Sat34121133+++++++++++++++++++++++++++++

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
722533.02%.com (Commercial)
987532.34%[unresolved numerical addresses]
144516.63%.uk (United Kingdom)
1729 5.31%.net (Networks)
615 2.25%.in (India)
645 1.63%.de (Germany)
626 1.33%.edu (USA Higher Education)
540 1.01%[domain not given]
341 1.00%[unknown domain]
71 0.60%.fr (France)
96 0.54%.at (Austria)
93 0.34%.jp (Japan)
228 0.30%.ru (Russia)
70 0.22%.ke (Kenya)
31 0.20%.pl (Poland)
15 0.16%.gh (Ghana)
59 0.15%.ca (Canada)
29 0.15%.pk (Pakistan)
38 0.15%.mx (Mexico)
77 0.14%.es (Spain)
34 0.11%.br (Brazil)
54 0.11%.ar (Argentina)
19 0.10%.zw (Zimbabwe)
37 0.10%.cn (China)
17 0.09%.za (South Africa)
35 0.09%.ch (Switzerland)
31 0.09%.id (Indonesia)
27 0.09%.nl (Netherlands)
105 0.08%.pt (Portugal)
75 0.08%.it (Italy)
14 0.07%.np (Nepal)
21 0.07%.se (Sweden)
16 0.07%.sg (Singapore)
42 0.07%.ba (Bosnia-Herzegovina)
20 0.07%.vn (Vietnam)
12 0.06%.bd (Bangladesh)
15 0.06%.tr (Turkey)
22 0.06%.fi (Finland)
9 0.06%.cm (Cameroon)
21 0.06%.co (Colombia)
7 0.05%.om (Oman)
37 0.05%.dk (Denmark)
52 0.05%.au (Australia)
4 0.05%.is (Iceland)
8 0.05%.ua (Ukraine)
8 0.05%.ng (Nigeria)
6 0.05%.sa (Saudi Arabia)
4 0.05%.ug (Uganda)
20 0.04%.info (Informational)
16 0.04%.th (Thailand)
11 0.03%.eg (Egypt)
7 0.03%.ly (Libya)
33 0.03%.gr (Greece)
4 0.03%.by (Belarus)
7 0.03%.org (Non Profit Making Organisations)
8 0.03%.tw (Taiwan)
5 0.02%.arpa (Arpanet)
4 0.02%.ci (Ivory Coast)
3 0.02%.ph (Philippines)
3 0.02%.bh (Bahrain)
8 0.02%.hu (Hungary)
40 0.02%.be (Belgium)
10 0.01%.nz (New Zealand)
22 0.01%.ro (Romania)
3 0.01%.ie (Ireland)
2 0.01%.my (Malaysia)
3 0.01%.cl (Chile)
42 0.01%.il (Israel)
1 0.01%.jo (Jordan)
1 0.01%.zm (Zambia)
1 0.01%.kr (South Korea)
1 0.01%.er (Eritrea)
3 0.01%.lt (Lithuania)
5 0.01%.ir (Iran)
7 0.01%.no (Norway)
18 0.01%.bg (Bulgaria)
3 .ve (Venezuela)
1 .lu (Luxembourg)
15 .cz (Czech Republic)
1 .md (Moldova)
4 .hk (Hong Kong)
1 .rw (Rwanda)
3 .ee (Estonia)
1 .su (Former USSR)
3 .bn (Brunei Darussalam)
4 .hr (Croatia)
2 .ae (United Arab Emirates)
1 .lk (Sri Lanka)
2 .gov (USA Government)

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
297517.15%baidu.com
2108 0.06%203.239
1629 8.09%msn.com
128915.90%cam.ac.uk
557 3.08%yandex.com
540 1.01%[domain not given]
525 1.60%117
490 4.95%112
454 1.94%199.16
439 1.39%41
397 0.06%17
341 1.00%[unknown domain]
309 0.29%115
301 1.04%amazonaws.com
273 0.95%your-server.de
241 0.71%psu.edu
198 2.19%opera-mini.net
184 0.75%14
180 page2rss.com
180 0.62%103
1131937.22%[not listed: 1,128 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
609software
587pdf
520engineering
130notes
66engernning
46for
32in
26of
22equivalence
22download
21ebooks
19diploma
18note
18bcs
16about
14engineering.pdf
14http://www.cl.cam.ac.uk/~lp15/papers/notes/se
14i.pdf
13softwares
13classes
12and
11computer
11cse
9structures
9data
8explain
8examples
7protocol
7on
7softwere
372[not listed: 195 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
174343483OS unknown
291652415Windows
 67502020  Unknown Windows
 1353219  Windows NT
 1028159  Windows XP
 1410  Windows 98
 125  Windows 2000
 11  Windows ME
 61  Windows Server 2003
 10  Windows 95
325081019Macintosh
42326506Unix
 2256489  Linux
 6615  Other Unix
 32  BSD
 10  SunOS
53461466Known robots
672Symbian 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
18129200 OK
5886206 Partial content
115301 Document moved permanently
914304 Not modified since last retrieval
124403 Access forbidden
861404 Document not found
2416 Requested range not valid

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
01267 
1B- 10B16 
11B- 100B2 
101B- 1kB264 
1kB- 10kB5537 0.24%
10kB-100kB8541 4.58%
100kB- 1MB859945.13%
1MB- 10MB63822.57%
10MB-100MB6527.47%

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
1497266.12%.pdf [Adobe Portable Document Format]
27025.88%.gz [Gzip compressed files]
13725.73%  .tar.gz [Compressed archives]
42 5.33%.tbz
11 0.98%.zip [Zip archives]
912 0.73%.jpg [JPEG graphics]
5877 0.42%[directories]
2018 0.23%.html [Hypertext Markup Language]
2 0.13%.tgz
825 0.17%[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
517423.05% 8/Feb/16 13:37/~lp15/papers/Notes/SE-I.pdf
2550 0.07% 8/Feb/16 08:48/~lp15/MLbook/
960 2.51% 8/Feb/16 14:35/~lp15/papers/Reports/equivclasses-slides.pdf
813 0.10% 8/Feb/16 14:46/~lp15/
398 0.35% 8/Feb/16 13:47/~lp15/images/larry-home-small.jpg
362 0.23% 8/Feb/16 11:13/~lp15/images/acm-logo.jpg
347 0.09% 8/Feb/16 12:11/~lp15/papers/refereed.html
287 0.63% 8/Feb/16 01:39/~lp15/papers/Formath/automata.pdf
272 0.50% 8/Feb/16 01:01/~lp15/papers/Notes/Founds-FP.pdf
261 1.63% 7/Feb/16 18:31/~lp15/papers/Isabelle/Goedel-ar.pdf
260 3.33% 7/Feb/16 08:51/~lp15/Sue/Thesis.pdf
250 0.03% 8/Feb/16 14:49/~lp15/papers/Arith/
216 0.50% 8/Feb/16 12:35/~lp15/papers/Reports/equivclasses.pdf
213 0.01% 8/Feb/16 14:17/~lp15/MLbook/programs/
204 2.66% 6/Feb/16 22:09/~lp15/papers/Reports/thesis.pdf
187 0.74% 8/Feb/16 10:49/~lp15/papers/Formath/LiRealAlgebraicNumbers.pdf
186 0.61% 8/Feb/16 06:16/~lp15/papers/Auth/jcs.pdf
10 0.04% 7/Feb/16 19:58  /~lp15/papers/Auth/jcs.pdf?
179 0.86% 8/Feb/16 09:40/~lp15/papers/Formath/Goedel-ar.pdf
154 0.11% 8/Feb/16 06:17/~lp15/papers/Reports/mutil.pdf
136  8/Feb/16 13:25/~lp15/MLbook/exercises/
133 0.57% 6/Feb/16 11:04/~lp15/papers/Reports/popl82.pdf
127 0.02% 8/Feb/16 11:42/~lp15/Pages/Scream.html
113 0.27% 8/Feb/16 12:28/~lp15/papers/Reports/fleuriot-kepler.pdf
110 0.02% 6/Feb/16 13:16/~lp15/papers/Auth/
109 0.21% 6/Feb/16 18:23/~lp15/papers/Auth/tls.pdf
105 0.01% 8/Feb/16 13:48/~lp15/Sue/
96 0.01% 8/Feb/16 13:12/~lp15/papers/Formath/
95 0.01% 7/Feb/16 00:10/~lp15/papers/Automation/
90 0.01% 8/Feb/16 11:18/~lp15/Grants/SET/
85 0.14% 8/Feb/16 06:40/~lp15/papers/Isabelle/aisc98.pdf
84  8/Feb/16 01:21/~lp15/MLbook/pub-details.html
83 0.10% 7/Feb/16 05:16/~lp15/papers/Formath/Goedel-logic.pdf
82 0.28% 6/Feb/16 14:14/~lp15/papers/Automation/filtering-jal.pdf
81  8/Feb/16 12:33/~lp15/MLbook/programs/sample2.sml
79 0.07% 8/Feb/16 06:25/~lp15/papers/Auth/yahalom.pdf
78  8/Feb/16 10:32/~lp15/papers/
76  8/Feb/16 14:44/~lp15/papers/lecture-courses.html
74 0.24% 7/Feb/16 06:21/~lp15/papers/Isabelle/fleuriot-kepler.pdf
72 1.18% 5/Feb/16 11:51/~lp15/papers/Notes/LCF+.pdf
72 0.09% 8/Feb/16 03:33/~lp15/papers/Arith/Narayanan DATE.pdf
72 0.01% 8/Feb/16 13:34/~lp15/Grants/AutoPolyFun/
71  7/Feb/16 21:51/~lp15/Pages/cv.html
70 0.21% 8/Feb/16 12:32/~lp15/papers/Formath/set-I.pdf
69 0.34% 8/Feb/16 03:22/~lp15/papers/Bella/purchase-JAR.pdf
69 0.22% 5/Feb/16 16:33/~lp15/papers/Bella/accountability.pdf
68 0.08% 8/Feb/16 09:03/~lp15/papers/Auth/lics.pdf
68 0.13% 6/Feb/16 20:09/~lp15/papers/Automation/cade2011-sledge-smt.pdf
66 0.01% 8/Feb/16 12:28/~lp15/MLbook/ERRATA.html
65  7/Feb/16 19:20/~lp15/Templates/
13  5/Feb/16 11:51  /~lp15/Templates/?C=D;O=A
64  5/Feb/16 11:51/~lp15/papers/workshop.html
62 0.10% 5/Feb/16 11:51/~lp15/papers/Automation/paar.pdf
62 0.13% 7/Feb/16 23:55/~lp15/papers/Arith/Hscc09.pdf
61 0.07% 7/Feb/16 21:51/~lp15/Pages/vita.pdf
61 0.01% 8/Feb/16 13:25/~lp15/MLbook/exercises/exer2.html
61 0.20% 6/Feb/16 10:53/~lp15/papers/Bella/smartcards-jcs.pdf
60  5/Feb/16 11:51/~lp15/SpryAssets/
12  5/Feb/16 11:51  /~lp15/SpryAssets/?C=D;O=A
60 0.31% 5/Feb/16 11:51/~lp15/papers/Arith/MetiTarski-jar.pdf
59 0.18% 7/Feb/16 20:59/~lp15/papers/Workshop/papers/kammueller.pdf
58 0.06% 7/Feb/16 18:04/~lp15/Usage/
58 0.01% 8/Feb/16 09:21/~lp15/papers/Isabelle/
58 0.01% 8/Feb/16 05:30/~lp15/MLbook/programs/sample3.sml
58 0.02% 8/Feb/16 13:48/~lp15/Sue/Sue Paulson.jpg
57  8/Feb/16 03:09/~lp15/papers/Reviews/
11  5/Feb/16 11:51  /~lp15/papers/Reviews/?C=N;O=D
11  8/Feb/16 03:09  /~lp15/papers/Reviews/?C=S;O=A
57 0.10% 6/Feb/16 11:48/~lp15/papers/Reports/blast.pdf
57 0.06% 7/Feb/16 22:20/~lp15/papers/Auth/SET-overview-2002.pdf
57 0.12% 7/Feb/16 15:05/~lp15/papers/Automation/jar-smt.pdf
57 0.02% 6/Feb/16 04:58/~lp15/Usage/images/
57 0.12% 6/Feb/16 05:17/~lp15/papers/Bella/esorics2000.pdf
13 0.03% 1/Feb/16 18:16  /~lp15/papers/Bella/esorics2000.pdf?origin=publication_detail
57 0.10% 8/Feb/16 00:33/~lp15/papers/Bella/purchase.pdf
57 0.10% 7/Feb/16 06:48/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
56 0.15% 6/Feb/16 04:18/~lp15/papers/Automation/filtering.pdf
56 0.11% 8/Feb/16 06:27/~lp15/papers/Formath/AC.pdf
56  8/Feb/16 04:09/~lp15/papers/Bella/
55 0.06% 5/Feb/16 11:51/~lp15/papers/Reports/CADE11.pdf
55 0.01% 7/Feb/16 18:15/~lp15/papers/Reports/
54 0.01% 8/Feb/16 05:27/~lp15/MLbook/programs/sample4.sml
53  7/Feb/16 13:44/~lp15/MLbook/general.html
53 0.10% 5/Feb/16 11:51/~lp15/papers/Bella/esorics98.pdf
53 0.28% 8/Feb/16 00:12/~lp15/Pages/Munich-slides.pdf
52 0.48% 5/Feb/16 11:51/~lp15/papers/Reports/TypeClasses.pdf
17 0.17% 1/Feb/16 22:59  /~lp15/papers/Reports/TypeClasses.pdf?origin=publication_detail
52 0.09% 6/Feb/16 00:01/~lp15/papers/Bella/nonrepudiation.pdf
52 0.16% 6/Feb/16 06:37/~lp15/papers/Formath/reflection-slides.pdf
52 0.95% 8/Feb/16 06:07/~lp15/papers/Auth/lics-slides.pdf
52 0.08% 5/Feb/16 15:25/~lp15/papers/Automation/meng-termination.pdf
52  5/Feb/16 11:51/~lp15/papers/books.html
52 0.01% 7/Feb/16 02:05/~lp15/MLbook/exercises/exer8.html
52  7/Feb/16 04:05/~lp15/Grants/LEO-II/
51 0.07% 7/Feb/16 09:39/~lp15/papers/Reports/Descent of BAN.pdf
51  7/Feb/16 17:37/~lp15/archive/
50  8/Feb/16 11:55/~lp15/MLbook/first/
50 0.07% 7/Feb/16 19:19/~lp15/papers/Auth/ijcar2001.pdf
49  8/Feb/16 12:45/~lp15/papers/Arith/download.html
49 0.14% 5/Feb/16 11:51/~lp15/papers/Automation/translations-jar.pdf
49 0.02% 7/Feb/16 21:51/~lp15/images/pilkington.jpg
49 0.08% 8/Feb/16 09:21/~lp15/Pages/harrison-real.pdf
49  7/Feb/16 18:34/~lp15/MLbook/programs/sample5.sml
48 0.01% 8/Feb/16 01:21/~lp15/MLbook/exercises/exer3.html
48 0.10% 8/Feb/16 02:12/~lp15/papers/Reports/TPHOLs05.pdf
48 0.05% 7/Feb/16 10:43/~lp15/papers/Workshop/friedrich.pdf
48 0.49% 7/Feb/16 09:25/~lp15/papers/Reports/ref97.pdf
46 0.18% 6/Feb/16 13:18/~lp15/papers/Arith/calculemus2008.pdf
46 0.12% 5/Feb/16 11:51/~lp15/papers/UNITY/Mechanizing-compositional.pdf
45  8/Feb/16 00:07/~lp15/papers/UNITY/
44  7/Feb/16 04:07/~lp15/Pages/
44  6/Feb/16 06:27/~lp15/papers/Notes/
44  6/Feb/16 23:32/~lp15/MLbook/review.html
44 0.16% 7/Feb/16 03:45/~lp15/papers/Automation/sultana-pfreconstruction.pdf
44 0.04% 8/Feb/16 13:05/~lp15/Sue/Cultures of Dance.ppt
44 2.49% 7/Feb/16 20:23/~lp15/papers/Arith/FroCos-presentation.pdf
43 0.06% 5/Feb/16 17:35/~lp15/papers/Automation/leo2-ijcar.pdf
43 0.09% 5/Feb/16 18:34/~lp15/papers/Auth/multicast_verification.pdf
43  5/Feb/16 11:51/~lp15/images/
43 0.01% 5/Feb/16 11:51/~lp15/papers/invited.html
43  7/Feb/16 13:10/~lp15/papers/Workshop/
43 0.09% 7/Feb/16 08:44/~lp15/papers/Isabelle/blast.pdf
43  7/Feb/16 17:33/~lp15/Grants/Automation/
42 0.07% 5/Feb/16 16:35/~lp15/papers/UNITY/tphols01.pdf
42 0.01% 7/Feb/16 22:29/~lp15/MLbook/exercises/exer6.html
42 0.03% 5/Feb/16 11:51/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
42 0.03% 6/Feb/16 03:47/~lp15/papers/Reports/CADE9.pdf
41 0.06% 8/Feb/16 06:22/~lp15/papers/Bella/cav98.pdf
41 0.05% 8/Feb/16 02:40/~lp15/papers/Arith/pdpar2006.pdf
40 0.05% 7/Feb/16 04:41/~lp15/papers/Isabelle/chap700.pdf
40 0.12% 5/Feb/16 20:08/~lp15/papers/Auth/SET-overview-IJIS.pdf
40  7/Feb/16 21:22/~lp15/Grants/
40 0.05% 6/Feb/16 08:18/~lp15/papers/Formath/constructible-abstract.pdf
40 0.09% 8/Feb/16 11:31/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
40  8/Feb/16 02:13/~lp15/css/
39  5/Feb/16 11:51/~lp15/tmp/
39 0.01% 6/Feb/16 18:35/~lp15/MLbook/exercises/exer4.html
39  7/Feb/16 16:42/~lp15/papers/hol.html
38 0.15% 6/Feb/16 09:43/~lp15/papers/UNITY/composition.pdf
38 0.07% 5/Feb/16 11:51/~lp15/papers/Automation/IJCAR2004.pdf
38  7/Feb/16 03:07/~lp15/papers/recur.html
38 0.06% 6/Feb/16 06:31/~lp15/Grants/AutoPolyFun/case.pdf
38 0.07% 5/Feb/16 11:51/~lp15/papers/Bella/registration.pdf
38 0.10% 6/Feb/16 14:49/~lp15/papers/Formath/reflection.pdf
38 0.01% 8/Feb/16 12:15/~lp15/Grants/UNITY/
38 0.10% 7/Feb/16 21:14/~lp15/papers/Formath/set-II.pdf
38 0.26% 6/Feb/16 03:35/~lp15/papers/Automation/info-and-comp.pdf
37  6/Feb/16 13:40/~lp15/Grants/BeyondLinArith/
37 0.01% 5/Feb/16 11:51/~lp15/papers/Reviews/MLer.pdf
37 0.07% 8/Feb/16 14:27/~lp15/papers/Arith/lpar2007.pdf
37 0.01% 6/Feb/16 18:41/~lp15/MLbook/exercises/exer7.html
37 0.05% 6/Feb/16 20:47/~lp15/papers/Arith/fmcad2009.pdf
37  5/Feb/16 11:51/~lp15/Data/
37 0.09% 6/Feb/16 18:46/~lp15/papers/Isabelle/sylow.pdf
37 0.06% 5/Feb/16 11:51/~lp15/papers/Automation/thf-sledge.pdf
36 0.06% 8/Feb/16 06:19/~lp15/papers/Workshop/papers/thompson.pdf
36 0.08% 7/Feb/16 20:39/~lp15/papers/Ballarin/coding.pdf
35 0.01% 8/Feb/16 05:28/~lp15/MLbook/programs/sample7.sml
35 0.06% 5/Feb/16 11:51/~lp15/papers/UNITY/ehmety-composition.pdf
35 0.05% 8/Feb/16 06:23/~lp15/papers/Workshop/papers/benini.pdf
35 0.06% 8/Feb/16 00:30/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
35 0.17% 5/Feb/16 11:51/~lp15/papers/Reports/intro-to-isabelle.pdf
35 0.14% 7/Feb/16 21:43/~lp15/papers/Workshop/papers/rasmussen.pdf
34  6/Feb/16 04:20/~lp15/Pages/CL-English.html
34 0.01% 8/Feb/16 13:25/~lp15/MLbook/exercises/exer5.html
34  8/Feb/16 12:12/~lp15/MLbook/programs/ROOT.sml
34 0.15% 5/Feb/16 11:51/~lp15/papers/Automation/reconstruction.pdf
34 0.07% 5/Feb/16 11:51/~lp15/papers/Formath/milner-ind-defs.pdf
34 0.02% 7/Feb/16 10:05/~lp15/papers/Workshop/ayari.pdf
33 0.04% 6/Feb/16 04:42/~lp15/papers/Workshop/papers/ayari.pdf
33  8/Feb/16 08:56/~lp15/MLbook/disclaimer.html
33 0.12% 6/Feb/16 04:15/~lp15/papers/Workshop/papers/bednarczyk.pdf
33 1.22% 5/Feb/16 11:51/~lp15/papers/Formath/Goedel-slides.pdf
33 0.09% 5/Feb/16 11:51/~lp15/papers/Bella/certified-email.pdf
32 0.03% 6/Feb/16 05:10/~lp15/papers/Arith/FroCoS-2013-invited.pdf
32 0.01% 8/Feb/16 08:14/~lp15/papers/paulson.bib
32 0.34% 7/Feb/16 19:43/~lp15/papers/Notes/formalizing-abst-slides.pdf
32 0.05% 6/Feb/16 05:37/~lp15/papers/Workshop/papers/kalvala-linear.pdf
32  5/Feb/16 11:51/~lp15/papers/Ballarin/
32  7/Feb/16 04:04/~lp15/Data/relevance/
31  8/Feb/16 00:00/~lp15/Data/ho-translations/
31 0.02% 5/Feb/16 11:51/~lp15/Grants/LEO-II/leo2-case.pdf
31 0.14% 8/Feb/16 00:52/~lp15/papers/Auth/tls-slides.pdf
31 0.17% 7/Feb/16 04:56/~lp15/papers/Automation/Huet colloquium.pdf
31 0.05% 7/Feb/16 20:06/~lp15/papers/Notes/strategy.pdf
31 0.04% 6/Feb/16 07:58/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
31 0.05% 8/Feb/16 00:44/~lp15/papers/Workshop/papers/owens.pdf
30 0.01% 5/Feb/16 11:51/~lp15/papers/Reviews/construct.pdf
30 1.47% 7/Feb/16 04:04/~lp15/papers/Arith/ITP 2012 presentation.pdf
29 0.11% 5/Feb/16 11:51/~lp15/papers/Auth/SET-document.pdf
29  8/Feb/16 05:28/~lp15/MLbook/programs/sample9.sml
29 0.07% 5/Feb/16 11:51/~lp15/papers/Arith/Huang-3heuristics.pdf
29 0.33% 5/Feb/16 11:51/~lp15/papers/Automation/reconstruction-slides.pdf
29 0.07% 6/Feb/16 02:27/~lp15/papers/Arith/SNC2014-invited.pdf
28  5/Feb/16 11:51/~lp15/MLbook/programs/sample8.sml
28 0.03% 6/Feb/16 04:01/~lp15/papers/Auth/auth-slides.pdf
28 0.05% 7/Feb/16 01:29/~lp15/papers/Arith/case-splitting.pdf
28  8/Feb/16 04:13/~lp15/papers/Arith/qepcad-for-mac.html
28 0.11% 5/Feb/16 11:51/~lp15/papers/UNITY/UNITY.pdf
28 0.03% 8/Feb/16 01:03/~lp15/papers/Auth/recur-slides.pdf
28  5/Feb/16 19:13/~lp15/MLbook/exercises/disclaimer.html
28 0.42% 5/Feb/16 11:51/~lp15/papers/Auth/ijcar2001-slides.pdf
28 0.09% 7/Feb/16 01:13/~lp15/papers/Arith/cicm2012.pdf
27 0.07% 6/Feb/16 06:35/~lp15/papers/Workshop/papers/nipkow.pdf
27 0.11% 8/Feb/16 01:03/~lp15/papers/Reports/logics97.pdf
27 0.47% 6/Feb/16 16:57/~lp15/papers/Arith/SNC2014-slides.pdf
27 0.06% 5/Feb/16 11:51/~lp15/papers/Workshop/papers/agerholm.pdf
26  5/Feb/16 22:20/~lp15/MLbook/programs/notes.html
26  7/Feb/16 15:07/~lp15/Grants/auth.html
26  7/Feb/16 09:26/~lp15/MLbook/programs/sample8-old.sml
26  8/Feb/16 06:09/~lp15/MLbook/first/programs/Lists-Trees.ML
26 0.03% 7/Feb/16 11:56/~lp15/Grants/Automation/final.pdf
26  7/Feb/16 17:36/~lp15/MLbook/programs/sample10-old.sml
26 0.04% 6/Feb/16 21:19/~lp15/papers/Workshop/papers/voelker.pdf
26 0.03% 5/Feb/16 11:51/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
26  8/Feb/16 10:12/~lp15/Pages/projects.html
26 0.05% 5/Feb/16 11:51/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
26 0.20%29/Jan/16 18:35/~lp15/papers/Automation/h4qed-clean.pdf
26  8/Feb/16 00:01/~lp15/MLbook/programs/sample3-old.sml
26 0.04% 5/Feb/16 11:51/~lp15/papers/Arith/ITP-2012-invited.pdf
25 0.08% 3/Feb/16 08:25/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
25 0.01% 5/Feb/16 11:51/~lp15/MLbook/programs/sample10.sml
25 0.01% 5/Feb/16 11:51/~lp15/papers/Arith/NFM2014-invited.pdf
25 0.16% 5/Feb/16 11:51/~lp15/papers/Auth/SET-overview-slides.pdf
25  6/Feb/16 09:14/~lp15/Pages/ACS-proposals.html
25  5/Feb/16 11:51/~lp15/papers/Workshop/futures.html
24  5/Feb/16 14:40/~lp15/Grants/BeyondLinArith/auth-final.pdf
24 0.14% 5/Feb/16 11:51/~lp15/papers/Reports/Bridge-ml.pdf
24  8/Feb/16 11:55/~lp15/MLbook/first/programs/
24 0.02% 5/Feb/16 11:51/~lp15/papers/Arith/Overcoming.pdf
24 0.03% 6/Feb/16 23:06/~lp15/papers/Bella/dimacs97.pdf
24  5/Feb/16 22:23/~lp15/MLbook/programs/sample9-2004.sml
24  6/Feb/16 18:44/~lp15/papers/Arith/atan-problem-1-weak.html
24  5/Feb/16 11:51/~lp15/Grants/temporal.html
23 0.33% 6/Feb/16 03:12/~lp15/papers/Auth/dagstuhl2001-slides.pdf
23 0.01% 7/Feb/16 07:09/~lp15/papers/Isabelle/blast-slides.pdf
23  5/Feb/16 11:51/~lp15/MLbook/programs/sample8-2004.sml
23 0.23% 7/Feb/16 06:53/~lp15/papers/Reports/TypeClasses-slides.pdf
23 0.92% 5/Feb/16 11:51/~lp15/papers/Arith/Overcoming-slides.pdf
23  5/Feb/16 11:51/~lp15/Grants/temporal-final.pdf
23 0.08% 8/Feb/16 04:29/~lp15/papers/OLD.SETS/set-II.pdf
22 0.05% 5/Feb/16 11:51/~lp15/papers/OLD.SETS/reflection.pdf
22 0.15% 7/Feb/16 04:53/~lp15/papers/Automation/10.1007_s10817-015-9348-y.pdf
22 0.29% 5/Feb/16 22:07/~lp15/papers/Arith/metit-slides.pdf
22 0.01% 8/Feb/16 04:26/~lp15/papers/OLD.SETS/AC-slides.pdf
22 0.13% 5/Feb/16 11:51/~lp15/papers/Deduction/lecture4.pdf
22 0.15% 5/Feb/16 11:51/~lp15/Grants/arith-case.pdf
22  8/Feb/16 01:05/~lp15/papers/Workshop/participants.html
21  6/Feb/16 20:46/~lp15/papers/Deduction/
21 0.21% 5/Feb/16 11:51/~lp15/Grants/Automation/poster.pdf
21  5/Feb/16 11:51/~lp15/papers/Workshop/paulson.html
21 0.06% 5/Feb/16 11:51/~lp15/papers/Workshop/papers/vigano.pdf
21 0.08% 5/Feb/16 11:51/~lp15/papers/OLD.SETS/constructible-slides.pdf
21  5/Feb/16 11:51/~lp15/Grants/holisa.html
21 0.07% 5/Feb/16 18:55/~lp15/papers/Formath/constructible-slides.pdf
21 0.16% 8/Feb/16 00:45/~lp15/papers/Bella/TPHOLs03-slides.pdf
20 0.10% 7/Feb/16 03:37/~lp15/images/pilkington-full.jpg
20 0.05% 5/Feb/16 11:51/~lp15/papers/Automation/translations.pdf
20  8/Feb/16 11:19/~lp15/Grants/SET/final.pdf
19 0.02% 5/Feb/16 11:51/~lp15/papers/Notes/strategy-slides.pdf
19  6/Feb/16 07:49/~lp15/papers/Formath/ind-defs-slides.pdf
19  8/Feb/16 12:33/~lp15/papers/Workshop/matthews.html
19 0.13% 5/Feb/16 11:51/~lp15/papers/Deduction/lecture2.pdf
19  8/Feb/16 03:25/~lp15/papers/Workshop/thompson.html
19 0.03% 5/Feb/16 18:28/~lp15/papers/Isabelle/coding.pdf
19 0.01% 7/Feb/16 16:04/~lp15/papers/Reports/blast-slides.pdf
19 0.05% 1/Feb/16 21:01/~lp15/papers/Reports/lamport-paulson-types.pdf
18  5/Feb/16 11:51/~lp15/papers/Workshop/nipkow.html
18 0.03% 6/Feb/16 01:53/~lp15/Grants/Chaieb-case.pdf
18 0.15% 5/Feb/16 11:51/~lp15/papers/Formath/constructible-theory.pdf
18 0.05% 7/Feb/16 02:29/~lp15/papers/Workshop/papers/paulson.pdf
18 0.05% 5/Feb/16 11:51/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
18 0.54% 5/Feb/16 11:51/~lp15/Grants/LEO-II/leo project poster.pdf
18 0.80% 5/Feb/16 11:51/~lp15/papers/Isabelle/Goedel-slides.pdf
18 0.15% 5/Feb/16 11:51/~lp15/papers/Isabelle/Cube-presentation.pdf
18 0.04% 5/Feb/16 11:51/~lp15/papers/Formath/Goedel-logic-mine.pdf
18  6/Feb/16 00:55/~lp15/Grants/Chaieb.html
18 0.12% 5/Feb/16 11:51/~lp15/papers/Arith/NFM2014-slides.pdf
18 0.42% 6/Feb/16 03:17/~lp15/Sue/Thesis-Appendices.pdf
17  5/Feb/16 19:50/~lp15/MLbook/programs/test10.sml
17 0.04% 8/Feb/16 04:24/~lp15/papers/OLD.SETS/milner-ind-defs.pdf
17 0.01% 6/Feb/16 09:43/~lp15/Grants/SET/case.pdf
17  8/Feb/16 01:32/~lp15/images/larry-paulson.jpg
17  5/Feb/16 11:51/~lp15/papers/OLD.SETS/
16  5/Feb/16 11:51/~lp15/papers/Workshop/heule.html
16 0.36% 5/Feb/16 11:51/~lp15/Sue/Phd-Poster.pdf
16 0.14% 5/Feb/16 11:51/~lp15/papers/Deduction/lecture1.pdf
16  5/Feb/16 21:42/~lp15/MLbook/first/programs/Lambda.ML
16 0.09% 8/Feb/16 10:42/~lp15/papers/Deduction/lecture3.pdf
16 0.03% 5/Feb/16 11:51/~lp15/papers/OLD.SETS/AC.pdf
15  7/Feb/16 19:34/~lp15/Grants/arith.html
15  5/Feb/16 11:51/~lp15/papers/Workshop/kalvala.html
15 0.02% 5/Feb/16 11:51/~lp15/papers/OLD.SETS/final.pdf
15 0.04% 5/Feb/16 11:51/~lp15/papers/Arith/case-splitting-stats.csv
15 0.02% 5/Feb/16 11:51/~lp15/papers/Workshop/papers/staples.pdf
15 0.01% 5/Feb/16 11:51/~lp15/MLbook/first/ML-syntax.ps.gz
15 0.02% 6/Feb/16 11:51/~lp15/papers/Isabelle/Goedel-logic.pdf
15 0.01% 6/Feb/16 16:46/~lp15/papers/Workshop/kammueller.pdf
15  7/Feb/16 04:05/~lp15/MLbook/first/programs/Imperative.ML
15  6/Feb/16 03:08/~lp15/papers/Workshop/programme.html
14  5/Feb/16 11:51/~lp15/papers/Formath/AC-slides.pdf
14  6/Feb/16 18:45/~lp15/MLbook/StandardML.plist
14 0.11% 6/Feb/16 16:32/~lp15/papers/Auth/dagstuhl2003-slides.pdf
14 0.23% 5/Feb/16 11:51/~lp15/Grants/arith-poster.pdf
14 0.08% 5/Feb/16 11:51/~lp15/papers/Arith/Sogokon-nfm14.pdf
13  5/Feb/16 11:51/~lp15/papers/Workshop/staples.html
13  5/Feb/16 18:12/~lp15/Grants/UNITY/final.pdf
13 0.05%28/Jan/16 05:52/~lp15/papers/Automation/leo2-jar.pdf
13 0.01% 5/Feb/16 11:51/~lp15/papers/Workshop/vigano.pdf
13  6/Feb/16 15:44/~lp15/papers/Arith/RELEASE-NOTES.txt
13 0.03% 1/Feb/16 19:23/~lp15/papers/Arith/Narayanan TR.pdf
13  8/Feb/16 11:55/~lp15/MLbook/first/ERRATA1.txt
13  5/Feb/16 11:51/~lp15/Sue/Cultures of Dance.html
13  5/Feb/16 20:49/~lp15/papers/Workshop/wolff.html
12 0.02% 5/Feb/16 11:51/~lp15/papers/Formath/final.pdf
12 0.03% 5/Feb/16 11:51/~lp15/papers/Notes/MOD-slides.pdf
12 0.01% 7/Feb/16 04:37/~lp15/Grants/Automation/case.pdf
12  5/Feb/16 11:51/~lp15/papers/Workshop/agerholm.html
12 0.11% 5/Feb/16 11:51/~lp15/papers/OLD.SETS/constructible-theory.pdf
11 0.98% 5/Feb/16 17:20/~lp15/papers/Arith/qepcad-B.1.65.MacOSX.zip
11  6/Feb/16 20:43/~lp15/MLbook/first/programs/Modules.ML
11  5/Feb/16 11:51/~lp15/papers/OLD.SETS/ind-defs-slides.pdf
11 0.02% 5/Feb/16 11:51/~lp15/papers/Ballarin/aisc98.pdf
11  6/Feb/16 15:41/~lp15/MLbook/first/ERRATA2.txt
10  5/Feb/16 11:51/~lp15/MLbook/first/ERRATA3.txt
10 0.23% 7/Feb/16 07:19/~lp15/Grants/BeyondLinArith/arith-poster.pdf
10 4.50% 8/Feb/16 12:24/~lp15/archive/Isabelle2015.tar.gz
10 0.02% 5/Feb/16 11:51/~lp15/papers/Workshop/papers/matthews.pdf
10  5/Feb/16 11:51/~lp15/MLbook/first/programs/Functions.ML
9  5/Feb/16 11:51/~lp15/MLbook/first/programs/ParsePrint.ML
9  5/Feb/16 11:51/~lp15/Templates/publications.dwt
9  5/Feb/16 11:51/~lp15/Grants/UNITY/case.pdf
9 0.01% 5/Feb/16 13:29/~lp15/papers/Auth/security-protocols.pdf
8 0.03% 5/Feb/16 11:51/~lp15/papers/OLD.SETS/set-I.pdf
8  5/Feb/16 11:51/~lp15/papers/Workshop/front.pdf
8  8/Feb/16 07:09/~lp15/images/knuth-small.jpg
8  8/Feb/16 11:55/~lp15/MLbook/first/answers1-5.txt.gz
8 0.01% 5/Feb/16 11:51/~lp15/papers/Notes/leeds-notes.pdf
8  6/Feb/16 20:19/~lp15/Grants/auth-final.pdf
8 2.20% 8/Feb/16 06:08/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
8  5/Feb/16 11:51/~lp15/MLbook/first/programs/Hal.ML
32824.71% 7/Feb/16 23:57[not listed: 87 files]