Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Spelling #144

Open
wants to merge 87 commits into
base: master
Choose a base branch
from
Open
Changes from 1 commit
Commits
Show all changes
87 commits
Select commit Hold shift + click to select a range
1c8a80b
spelling: absence
jsoref Oct 22, 2021
3fec763
spelling: accidentally
jsoref Oct 22, 2021
c4a4c28
spelling: according
jsoref Oct 22, 2021
e4315fe
spelling: address
jsoref Oct 22, 2021
73dfffc
spelling: addresses
jsoref Oct 22, 2021
e8c6a19
spelling: algorithm
jsoref Oct 22, 2021
3055689
spelling: alleviate
jsoref Oct 22, 2021
6780140
spelling: allowed
jsoref Oct 22, 2021
e8e92d3
spelling: analysis
jsoref Oct 22, 2021
65150b5
spelling: arithmetic
jsoref Oct 22, 2021
337f662
spelling: assignments
jsoref Oct 22, 2021
2727888
spelling: attempts
jsoref Oct 22, 2021
d9c8013
spelling: automatically
jsoref Oct 22, 2021
8024f5c
spelling: boolean
jsoref Oct 22, 2021
27e26e6
spelling: chain
jsoref Oct 22, 2021
540d838
spelling: coincide
jsoref Oct 22, 2021
9400986
spelling: comparisons
jsoref Oct 22, 2021
50f7cb0
spelling: compressed
jsoref Oct 22, 2021
1c3a91d
spelling: conditions
jsoref Oct 22, 2021
0b880b3
spelling: debugging
jsoref Oct 22, 2021
5cdf46c
spelling: deferred
jsoref Oct 22, 2021
a5a3374
spelling: dependency
jsoref Oct 22, 2021
b202e0b
spelling: destroy
jsoref Oct 22, 2021
731ae2a
spelling: different
jsoref Oct 22, 2021
21e4a1a
spelling: disjunction
jsoref Oct 22, 2021
a5da55f
spelling: don't
jsoref Oct 22, 2021
a68b128
spelling: empty
jsoref Oct 22, 2021
8d279b7
spelling: entry-s
jsoref Oct 22, 2021
4774fe8
spelling: environment
jsoref Oct 22, 2021
76b363a
spelling: equality
jsoref Oct 22, 2021
5c4c3ff
spelling: evaluated
jsoref Oct 22, 2021
dc951fb
spelling: existing
jsoref Oct 22, 2021
89ffdcc
spelling: expressions
jsoref Oct 22, 2021
694b35f
spelling: extractor
jsoref Oct 22, 2021
ec64777
spelling: flag
jsoref Oct 22, 2021
5b7f37e
spelling: following
jsoref Oct 22, 2021
adff6fa
spelling: haven't
jsoref Oct 22, 2021
38f49e5
spelling: homogeneity
jsoref Oct 22, 2021
f3a2842
spelling: identity
jsoref Oct 22, 2021
d9f78f2
spelling: ignore
jsoref Oct 22, 2021
b10ad90
spelling: ignored
jsoref Oct 22, 2021
8042212
spelling: imaginary
jsoref Oct 22, 2021
aa7452a
spelling: inferred
jsoref Oct 22, 2021
b423a5e
spelling: interruptible
jsoref Oct 22, 2021
7d8f2e3
spelling: ip assignments
jsoref Oct 22, 2021
49a40e9
spelling: likely
jsoref Oct 22, 2021
772b76b
spelling: match
jsoref Oct 22, 2021
a1de733
spelling: miscellaneous
jsoref Oct 22, 2021
7f84902
spelling: network
jsoref Oct 22, 2021
9a8d6ac
spelling: not
jsoref Oct 22, 2021
5116cd4
spelling: numeric
jsoref Oct 22, 2021
4ea89a3
spelling: overlapping
jsoref Oct 22, 2021
4ad7ac2
spelling: parameters
jsoref Oct 22, 2021
edb2287
spelling: partitioning
jsoref Oct 22, 2021
2b13e94
spelling: preferred
jsoref Oct 22, 2021
4cd47b1
spelling: preprocessed
jsoref Oct 22, 2021
2d3cb56
spelling: prerequisites
jsoref Oct 22, 2021
46b48f7
spelling: prettiness
jsoref Oct 22, 2021
37dd905
spelling: primitive
jsoref Oct 22, 2021
33c6d02
spelling: redefined
jsoref Oct 22, 2021
0396f28
spelling: related
jsoref Oct 22, 2021
7a6b148
spelling: repeatedly
jsoref Oct 22, 2021
e0bd9bc
spelling: repository
jsoref Oct 22, 2021
6f0103d
spelling: result
jsoref Oct 22, 2021
4066686
spelling: ruleset
jsoref Oct 22, 2021
060af59
spelling: satisfied
jsoref Oct 22, 2021
70a17cb
spelling: singleton
jsoref Oct 22, 2021
f4dfc5f
spelling: soundness
jsoref Oct 22, 2021
1a36910
spelling: space
jsoref Oct 22, 2021
0569015
spelling: specialisations
jsoref Oct 22, 2021
2fca293
spelling: stabilizes
jsoref Oct 22, 2021
bfb0b81
spelling: succeeded
jsoref Oct 22, 2021
6befcb7
spelling: superseded
jsoref Oct 22, 2021
0d839aa
spelling: suppresses
jsoref Oct 22, 2021
8997f15
spelling: text
jsoref Oct 22, 2021
c156b8f
spelling: unambiguous
jsoref Oct 22, 2021
1e71eab
spelling: undefined
jsoref Oct 22, 2021
01ab93c
spelling: unhandled
jsoref Oct 22, 2021
b9afea5
spelling: unknown
jsoref Oct 22, 2021
76f4ac5
spelling: unlabeled
jsoref Oct 22, 2021
12954f6
spelling: unsupported
jsoref Oct 22, 2021
0e8b44b
spelling: unverified
jsoref Oct 22, 2021
c017686
spelling: update
jsoref Oct 22, 2021
1837b7c
spelling: wellformed
jsoref Oct 22, 2021
71f6f92
spelling: whereas
jsoref Oct 22, 2021
d3be6d8
spelling: which
jsoref Oct 22, 2021
3d47506
spelling: wildcard
jsoref Oct 22, 2021
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
spelling: destroy
Signed-off-by: Josh Soref <jsoref@users.noreply.github.com>
  • Loading branch information
jsoref committed Oct 22, 2021
commit b202e0b98cfcbd4bdb93e684117f8710e39d63eb
2 changes: 1 addition & 1 deletion thy/Iptables_Semantics/ROOT
Original file line number Diff line number Diff line change
@@ -19,7 +19,7 @@ session "Bitmagic" = IP_Addresses +
session "Iptables_Semantics" = Routing +
theories[document=false]
"~~/src/HOL/Library/LaTeXsugar"
(*The Native_Word things destory the latex document! Does not compile, ...*)
(*The Native_Word things destroy the latex document! Does not compile, ...*)
"../Native_Word/More_Bits_Int"
"../Native_Word/Code_Target_Bits_Int"
"~~/src/HOL/Library/Code_Target_Nat"